@informalsystems/quint

Version:

Core tool for the Quint specification language

9 files

Filename	Content Type	Size
../
EffectVisitor.test.ts	text/typescript	2.53 kB
MultipleUpdatesChecker.test.ts	text/typescript	1.69 kB
NondetChecker.test.ts	text/typescript	4.39 kB
base.test.ts	text/typescript	14.2 kB
inferrer.test.ts	text/typescript	11 kB
modeChecker.test.ts	text/typescript	9.53 kB
namespaces.test.ts	text/typescript	621 B
parser.test.ts	text/typescript	7.4 kB
substitutions.test.ts	text/typescript	1.62 kB