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

8 files

	Filename	Content Type	Size
	../
	picks.d.ts	text/typescript	955 B
	picks.d.ts.map	application/json	873 B
	picks.js	text/javascript	3.38 kB
	picks.js.map	application/json	4.02 kB
	schema.d.ts	text/typescript	1.62 kB
	schema.d.ts.map	application/json	624 B
	schema.js	text/javascript	1.05 kB
	schema.js.map	application/json	1.19 kB