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	986 B
	picks.d.ts.map	application/json	982 B
	picks.js	text/javascript	3.12 kB
	picks.js.map	application/json	3.61 kB
	schema.d.ts	text/typescript	1.52 kB
	schema.d.ts.map	application/json	623 B
	schema.js	text/javascript	999 B
	schema.js.map	application/json	1.18 kB