@informalsystems/quint/test/builtin.test.ts

Core tool for the Quint specification language

import { assert } from 'chai'
import { describe, it } from 'mocha'
import { dedent } from './textUtils'

import { builtinDocs } from '../src/builtin'
import { newIdGenerator } from '../src/idGenerator'

// Use a global id generator, limited to this test suite.
const idGen = newIdGenerator()

describe('builtInDocs', () => {
  it('has documentation for builtin definitions', () => {
    const result = builtinDocs(idGen)

    assert.deepEqual(result.get('Bool'), {
      name: 'Bool',
      signature: 'pure val Bool: Set[bool]',
      documentation: dedent(
        `The set of all booleans
          |
          |That is, Set(false, true)`
      ),
    })
  })
})