@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
159 kB
Binary
No preview is available for this file.
Model-based testing framework connecting Quint specifications to TypeScript implementations