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

24 files

	Filename	Content Type	Size
	../
	replay-actions.d.ts	text/typescript	1.38 kB
	replay-actions.d.ts.map	application/json	1.08 kB
	replay-actions.js	text/javascript	3.08 kB
	replay-actions.js.map	application/json	3.63 kB
	replay-dispatch.d.ts	text/typescript	622 B
	replay-dispatch.d.ts.map	application/json	650 B
	replay-dispatch.js	text/javascript	1.18 kB
	replay-dispatch.js.map	application/json	1.25 kB
	replay-errors.d.ts	text/typescript	2.23 kB
	replay-errors.d.ts.map	application/json	1.11 kB
	replay-errors.js	text/javascript	2.53 kB
	replay-errors.js.map	application/json	2.62 kB
	runner.d.ts	text/typescript	2.84 kB
	runner.d.ts.map	application/json	3.38 kB
	runner.js	text/javascript	3.59 kB
	runner.js.map	application/json	3.53 kB
	state-check.d.ts	text/typescript	1.18 kB
	state-check.d.ts.map	application/json	1.35 kB
	state-check.js	text/javascript	1.03 kB
	state-check.js.map	application/json	1.09 kB
	trace-state.d.ts	text/typescript	437 B
	trace-state.d.ts.map	application/json	451 B
	trace-state.js	text/javascript	660 B
	trace-state.js.map	application/json	940 B