@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 624 B
Source Map (JSON)
{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/itf/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAgB,MAAM,QAAQ,CAAA;AAI7C,OAAO,EACL,SAAS,EACT,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,iBAAiB,EACjB,UAAU,EACV,kBAAkB,EACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAM1D,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;;;;;;;;;;;;qGAazF,CAAA;AAEH,eAAO,MAAM,OAAO;;;EAGlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,eAAO,MAAM,QAAQ;;;;;;;;;;EAAqB,CAAA;AAE1C,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA"}