@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 228 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"}