@firfi/quint-connect

Version:

Model-based testing framework connecting Quint specifications to TypeScript implementations

github.com/dearlordylord/quint-connect-ts

1 lines • 232 B

Source Map (JSON)

{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/cli/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;;;;;AAE/B,qBAAa,UAAW,SAAQ,eAI9B;CAAG;;;;;;AAEL,qBAAa,kBAAmB,SAAQ,uBAEtC;CAAG"}