@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 873 B
Source Map (JSON)
{"version":3,"file":"picks.d.ts","sourceRoot":"","sources":["../../src/itf/picks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,EAAE,MAAM,EAAqB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAI1D,KAAK,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;AAGvF,KAAK,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;AAErE,eAAO,MAAM,uBAAuB,GAAI,MAAM,SAAS,iBAAiB,EACtE,YAAY,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAElC,UAAU,OAAO,gKAoBd,CAAA;AA2CJ,eAAO,MAAM,mBAAmB,GAAU,MAAM,SAAS,mBAAmB,EAC1E,UAAU;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,EAC7C,aAAa,MAAM,KAClB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQ3C,CAAA;AAoBD,eAAO,MAAM,QAAQ,GAAI,CAAC,EACxB,aAAa,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EACzC,KAAK,MAAM,EACX,QAAQ,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,KACnC,CAAC,GAAG,SAGN,CAAA"}