@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 1.08 kB
Source Map (JSON)
{"version":3,"file":"replay-actions.d.ts","sourceRoot":"","sources":["../../src/runner/replay-actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAa,MAAM,EAAE,MAAM,QAAQ,CAAA;AAElD,OAAO,KAAK,EAAE,SAAS,EAAgB,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAIzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAE7E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGxD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAClD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED,KAAK,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;AAyEjD,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,UAjCvB,gBAAgB,cACX,aAAa,CAAC,MAAM,CAAC,WACxB,iBAAiB,KACzB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,CA8BM,CAAA;AAErD,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,GAC3B,OAAO,gBAAgB,EACvB,QAAQ,MAAM,EACd,SAAS,iBAAiB,KACzB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAOzC,CAAA;AAEJ,eAAO,MAAM,iBAAiB,4FAlFd,iBAAiB,sEAkFwD,CAAA;AAEzF,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE/D,eAAO,MAAM,kBAAkB,GAAI,CAAC,EAAE,CAAC,EACrC,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KACvB,WAAW,CAAC,MAAM,EAAE,YAAY,CAKhC,CAAA"}