{"version":3,"file":"quint-cli-adapter.d.ts","sourceRoot":"","sources":["../../src/cli/quint-cli-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAc,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAGhE,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,KACb,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,IAAI,CAAA;CAAE,KAClE,YAAY,CAAA;AAEjB,eAAO,MAAM,YAAY,GACvB,MAAM,UAAU,EAChB,QAAQ,MAAM,KACb,aAAa,CAAC,MAAM,CAyCtB,CAAA;AAED,eAAO,MAAM,mBAAmB,GAC9B,eAAc,iBAQb,MAGD,MAAM,aAAa,CAAC,MAAM,CAAC,EAC3B,SAAS,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,kBAAkB,CAsDnD,CAAA;AAIJ,eAAO,MAAM,wBAAwB,GACnC,OAAM,mBAAyC,KAC9C,sBAiBD,CAAA;AAEF,eAAO,MAAM,oBAAoB,EAAE,sBAAmD,CAAA"}