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 files

	Filename	Content Type	Size
	../
	types.d.ts	text/typescript	1.92 kB
	types.d.ts.map	application/json	2.52 kB
	types.js	text/javascript	105 B
	types.js.map	application/json	192 B