@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 2.1 kB
Source Map (JSON)
{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/runner/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAa,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjF,OAAO,KAAK,EAAgB,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEzG,OAAO,KAAK,EAAE,QAAQ,EAAW,MAAM,kBAAkB,CAAA;;;;;;;;;;;;;AAGzD,qBAAa,kBAAmB,SAAQ,uBAOtC;CAAG;;;;;;;;;;AAEL,qBAAa,gBAAiB,SAAQ,qBAMpC;CAAG;;;;;;AAEL,qBAAa,aAAc,SAAQ,kBAEjC;CAAG;AAkBL,gBAAgB;AAChB,eAAO,MAAM,aAAa,GAAI,OAAO;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,KAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CACR,CAAA;AAEpG,gBAAgB;AAChB,eAAO,MAAM,YAAY,GAAI,GAAG,MAAM,EAAE,GAAG,OAAO,KAAG,OAA8C,CAAA;AA2DnG,gBAAgB;AAChB,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,SAAS,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EACzE,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,CAAC,GAAG,SAAS,EACrC,MAAM,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,kBAAkB,GAAG,gBAAgB,EAAE,CAAC,CA0I/D,CAAA;AAEJ,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC,CAAA;IACzC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAC9D;AAED,MAAM,MAAM,eAAe,CACzB,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,IAC7D,UAAU,GAAG;IACf,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,CAAC,GAAG,SAAS,CAAA;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1C,CAAA;AAOD,eAAO,MAAM,QAAQ,GACnB,CAAC,EACD,CAAC,EACD,CAAC,EACD,OAAO,SAAS,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EAE/D,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KACtC,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,CA+BC,CAAA"}