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

5 lines • 105 B
1
2
3
4
5
export const defaultConfig = { statePath: [], nondetPath: [] }; //# sourceMappingURL=types.js.map