@firfi/quint-connect

dearlordylord
esm
@firfi/quint-connect JS library on GitHub @firfi/quint-connect JS library on npm Download @firfi/quint-connect JS library

Model-based testing framework connecting Quint specifications to TypeScript implementations

Version 2.0.1 License Apache-2.0
@firfi/quint-connect has no homepage
@firfi/quint-connect JS library on GitHub
@firfi/quint-connect JS library on npm
Download @firfi/quint-connect JS library
Keywords
quintmodel-based-testingformal-methodsformal-verificationspecificationtestingitfeffectproperty-based-testingstate-machinetanstack-intent
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN