@informalsystems/quint

Version:

Core tool for the Quint specification language

8 files

Filename	Content Type	Size
../
aliasInliner.test.ts	text/typescript	3.29 kB
builtinSignatures.test.ts	text/typescript	1.39 kB
constraintGenerator.test.ts	text/typescript	6.17 kB
constraintSolver.test.ts	text/typescript	15.2 kB
inferrer.test.ts	text/typescript	17.9 kB
parser.test.ts	text/typescript	4 kB
simplification.test.ts	text/typescript	1.68 kB
substitutions.test.ts	text/typescript	6.28 kB