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/	–	103 kB
	driver/	–	4.81 kB
	itf/	–	13 kB
	runner/	–	41.8 kB
	effect.d.ts	text/typescript	1.99 kB
	effect.d.ts.map	application/json	2.11 kB
	effect.js	text/javascript	1.23 kB
	effect.js.map	application/json	1.36 kB
	index.d.ts	text/typescript	494 B
	index.d.ts.map	application/json	433 B
	index.js	text/javascript	213 B
	index.js.map	application/json	243 B
	simple.d.ts	text/typescript	3.57 kB
	simple.d.ts.map	application/json	3.72 kB
	simple.js	text/javascript	3 kB
	simple.js.map	application/json	3.44 kB
	tsconfig.tsbuildinfo	application/octet-stream	159 kB
	vitest-simple.d.ts	text/typescript	363 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	571 B
	vitest.d.ts.map	application/json	713 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