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

3 lines • 329 B
1
2
3
export { defaultConfig, defineDriver, NoTracesError, pickFrom, QuintError, QuintNotFoundError, run, stateCheck, StateMismatchError, TraceReplayError, transformITFValue } from "./simple.js"; export type { Config, RunOptions, SimpleActionMap, SimpleDriver, SimpleRunOptions } from "./simple.js"; //# sourceMappingURL=index.d.ts.map