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.12 kB
	replay-actions.d.ts.map	application/json	901 B
	replay-actions.js	text/javascript	3.07 kB
	replay-actions.js.map	application/json	3.62 kB
	replay-dispatch.d.ts	text/typescript	622 B
	replay-dispatch.d.ts.map	application/json	650 B
	replay-dispatch.js	text/javascript	1.24 kB
	replay-dispatch.js.map	application/json	1.3 kB
	replay-errors.d.ts	text/typescript	2.24 kB
	replay-errors.d.ts.map	application/json	1.1 kB
	replay-errors.js	text/javascript	2.59 kB
	replay-errors.js.map	application/json	2.69 kB
	runner.d.ts	text/typescript	2.84 kB
	runner.d.ts.map	application/json	3.38 kB
	runner.js	text/javascript	3.37 kB
	runner.js.map	application/json	3.34 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	320 B
	trace-state.d.ts.map	application/json	363 B
	trace-state.js	text/javascript	502 B
	trace-state.js.map	application/json	754 B