@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 945 B
Source Map (JSON)
{"version":3,"file":"managed-process.d.ts","sourceRoot":"","sources":["../../src/cli/managed-process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAGpE,UAAU,cAAc;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,EAAE,EAAE;QACX,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,GAAG,OAAO,CAAA;QAClE,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,OAAO,CAAA;KAC5D,CAAA;CACF;;;;;;;AAED,cAAM,iBAAkB,SAAQ,sBAG9B;CAAG;AAmBL,UAAU,qBAAqB,CAAC,OAAO,SAAS,cAAc,EAAE,MAAM;IACpE,QAAQ,CAAC,eAAe,EAAE,uBAAuB,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,OAAO,CAAA;IAC7B,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAA;CAC3E;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,SAAS,cAAc,EAAE,MAAM,EACtE,SAAS,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAsCvC,CAAA"}