@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
1 lines • 616 B
Source Map (JSON)
{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../src/vitest.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEzD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAKpE,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,OAAO,SAAS,eAAe,EAC1D,MAAM,MAAM,EACZ,MAAM,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,IAIF,CAAA;AAED,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,SAAS,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EACtE,MAAM,MAAM,EACZ,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,EAC3C,UAAU,MAAM,GAAG,SAAS,KAC3B,IAMF,CAAA"}