@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 901 B
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;AA2ED,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,GAC3B,OAAO,gBAAgB,EACvB,QAAQ,MAAM,EACd,SAAS,iBAAiB,EAC1B,0BAAuB,KACtB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAQzC,CAAA;AAEJ,eAAO,MAAM,iBAAiB;;QAjGqC,iBAErD;;6BA+F2E,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"}