@firfi/quint-connect/dist/cli/trace-generation-policy.d.ts.map

Model-based testing framework connecting Quint specifications to TypeScript implementations

{"version":3,"file":"trace-generation-policy.d.ts","sourceRoot":"","sources":["../../src/cli/trace-generation-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAU,MAAM,QAAQ,CAAA;AAE/C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AAe3G,UAAU,wBAAwB;IAChC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAA;CAC5F;AAGD,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAA;IACvC,QAAQ,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAA;CAC5F;AAED,KAAK,qBAAqB,GAAG,wBAAwB,GAAG,yBAAyB,CAAA;AAEjF,KAAK,kBAAkB,GAAG,oBAAoB,GAAG;IAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAA;AAEnF,KAAK,uBAAuB,GAAG,wBAAwB,GAAG;IACxD,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAA;CACrC,CAAA;AAsBD,eAAO,MAAM,oCAAoC,GAC/C,MAAM,sBAAsB,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAA+C,CAAA;AA+ChF,wGAAwG;AACxG,eAAO,MAAM,YAAY,GACvB,MAAM,oBAAoB,EAC1B,QAAQ,MAAM,KACb,aAAa,CAAC,MAAM,CAAgF,CAAA;AAsCvG,wGAAwG;AACxG,eAAO,MAAM,aAAa,GACxB,MAAM,qBAAqB,EAC3B,QAAQ,MAAM,KACb,aAAa,CAAC,MAAM,CAOpB,CAAA;AAEH,eAAO,MAAM,4BAA4B,GACvC,MAAM,sBAAsB,KAC3B,qBAqBF,CAAA;AAMD,eAAO,MAAM,yBAAyB,GACpC,QAAQ,qBAAqB,KAC5B,MAAM,IAAI,uBAA8F,CAAA"}