@firfi/quint-connect

Version:

Model-based testing framework connecting Quint specifications to TypeScript implementations

github.com/dearlordylord/quint-connect-ts

1 lines • 327 B

Source Map (JSON)

{"version":3,"file":"vitest-simple.d.ts","sourceRoot":"","sources":["../src/vitest-simple.ts"],"names":[],"mappings":"AAEA,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"}