UNPKG

@firfi/quint-connect

Version:

Model-based testing framework connecting Quint specifications to TypeScript implementations

github.com/dearlordylord/quint-connect-ts

dearlordylord/quint-connect-ts

4 folders, 24 files

	Filename	Content Type	Size
	../
	cli/	–	37.9 kB
	driver/	–	5.07 kB
	itf/	–	4.31 kB
	runner/	–	23 kB
	effect.d.ts	text/typescript	1.63 kB
	effect.d.ts.map	application/json	1.85 kB
	effect.js	text/javascript	1.12 kB
	effect.js.map	application/json	1.29 kB
	index.d.ts	text/typescript	329 B
	index.d.ts.map	application/json	338 B
	index.js	text/javascript	223 B
	index.js.map	application/json	253 B
	simple.d.ts	text/typescript	3.18 kB
	simple.d.ts.map	application/json	3.39 kB
	simple.js	text/javascript	5.49 kB
	simple.js.map	application/json	5.93 kB
	vitest-simple.d.ts	text/typescript	349 B
	vitest-simple.d.ts.map	application/json	433 B
	vitest-simple.js	text/javascript	269 B
	vitest-simple.js.map	application/json	414 B
	vitest.d.ts	text/typescript	539 B
	vitest.d.ts.map	application/json	673 B
	vitest.js	text/javascript	370 B
	vitest.js.map	application/json	446 B
	zod.d.ts	text/typescript	118 B
	zod.d.ts.map	application/json	171 B
	zod.js	text/javascript	116 B
	zod.js.map	application/json	169 B