GitHub - informalsystems/quint-connect: A model-based testing framework for Quint + Rust
Summary
A model-based testing framework for Quint + Rust . Contribute to informalsystems/quint-connect development by creating an account on GitHub.
Description
A model-based testing framework for Quint + Rust . Contribute to informalsystems/quint-connect development by creating an account on GitHub.
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source