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, 25 files

	Filename	Content Type	Size
	../
	cli/	–	14.2 kB
	driver/	–	5.07 kB
	itf/	–	4.31 kB
	runner/	–	22.9 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.58 kB
	simple.js.map	application/json	6.04 kB
	tsconfig.tsbuildinfo	application/octet-stream	198 kB
	vitest-simple.d.ts	text/typescript	271 B
	vitest-simple.d.ts.map	application/json	327 B
	vitest-simple.js	text/javascript	290 B
	vitest-simple.js.map	application/json	443 B
	vitest.d.ts	text/typescript	561 B
	vitest.d.ts.map	application/json	616 B
	vitest.js	text/javascript	645 B
	vitest.js.map	application/json	893 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