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

2 lines • 213 B
1
2
export { defaultConfig, defineDriver, NoTracesError, QuintError, QuintNotFoundError, run, stateCheck, StateMismatchError, TraceReplayError, transformITFValue } from "./simple.js"; //# sourceMappingURL=index.js.map