@firfi/quint-connect/dist/cli/quint-cli-adapter.d.ts.map

Model-based testing framework connecting Quint specifications to TypeScript implementations

{"version":3,"file":"quint-cli-adapter.d.ts","sourceRoot":"","sources":["../../src/cli/quint-cli-adapter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAc,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAG5D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAIhE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE1E,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,eAAe,EAAE,CACxB,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,EAC3B,OAAO,EAAE,OAAO,EAChB,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,KAC1B,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAA;CAC3D;AAGD,UAAU,YAAY;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAA;KAC5B,CAAA;IACD,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,KAAK,OAAO,CAAA;KAC3E,CAAA;IACD,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,CAAC,EAAE,KAAK,KAAK,IAAI,GAAG,OAAO,CAAA;KACxD,CAAA;CACF;AAED,KAAK,iBAAiB,GAAG,CACvB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,EAC3B,OAAO,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,KACrE,YAAY,CAAA;AAIjB,eAAO,MAAM,mBAAmB,GAC9B,eAAc,iBAWb,EACD,kBAAiB,uBAAyC,EAC1D,iBAAgB,MAAM,MAAM,CAAC,UAA8B,MAG3D,MAAM,aAAa,CAAC,MAAM,CAAC,EAC3B,SAAS,OAAO,EAChB,WAAW,MAAM,GAAG,SAAS,KAC5B,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,kBAAkB,CAyCnD,CAAA;AAIJ,eAAO,MAAM,wBAAwB,GACnC,OAAM,mBAAyC,KAC9C,sBAkBD,CAAA;AAEF,eAAO,MAAM,oBAAoB,EAAE,sBAAmD,CAAA"}