@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 3.38 kB
Source Map (JSON)
{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/runner/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EAEtB,MAAM,iBAAiB,CAAA;AAExB,OAAO,EAAE,eAAe,EAAwB,MAAM,4BAA4B,CAAA;AAClF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAEnE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAGhD,OAAO,EAEL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAEjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEhD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAA;AAC3F,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,gBAAgB;AAChB,eAAO,MAAM,WAAW,GACtB,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAC/B,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,EAEd,OAAO,QAAQ,EACf,YAAY,MAAM,EAClB,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAChC,QAAQ,MAAM,EACd,YAAY,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EACrD,MAAM,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,kBAAkB,GAAG,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAgCxE,CAAA;AAEJ,UAAU,kBAAkB,CAC1B,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK;IAEd,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KACrE,CAAA;IACD,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC/D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,MAAM,eAAe,CACzB,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,IACZ,UAAU,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAErE,MAAM,MAAM,gBAAgB,CAC1B,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,IACZ,qBAAqB,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEhF,MAAM,MAAM,sBAAsB,CAChC,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,IACZ,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAQ1G,eAAO,MAAM,2BAA2B,GACtC,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,EAEd,MAAM,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAC7D,MAAM,CAAC,MAAM,CACd;IAAE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAC1D,CAAC,GAAG,UAAU,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,aAAa,EAC3F,CAAC,GAAG,MAAM,GAAG,eAAe,CAiC1B,CAAA;AAEJ,eAAO,MAAM,QAAQ,GACnB,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACjD,MAAM,GAAG,KAAK,EACd,MAAM,GAAG,KAAK,EAEd,MAAM,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAC7D,MAAM,CAAC,MAAM,CACd;IAAE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAC1D,CAAC,GAAG,UAAU,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,aAAa,EAC3F,CAAC,GAAG,MAAM,CACqE,CAAA"}