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/	–	103 kB
	driver/	–	4.74 kB
	itf/	–	13.7 kB
	runner/	–	40.7 kB
	effect.d.ts	text/typescript	2.62 kB
	effect.d.ts.map	application/json	2.81 kB
	effect.js	text/javascript	1.52 kB
	effect.js.map	application/json	1.41 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.06 kB
	simple.js.map	application/json	3.54 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