quint-connectversion Documentation on ocaml.org
Check OCaml implementations and execution logs against Quint models
Replays Quint ITF (Informal Trace Format) traces against OCaml drivers or handlers and compares observable state with the model. Validates implementation logs against a Quint model through user-defined observations, including partial observations and unobserved steps. Includes reports, PPX test helpers and the quint-connect CLI.
| Author | Mathias Bourgoin <mathias.bourgoin@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://gitlab.com/nomadic-labs/ai-harness/ocaml-quint-connect |
| Issue Tracker | https://gitlab.com/nomadic-labs/ai-harness/ocaml-quint-connect/-/issues |
| Maintainer | Mathias Bourgoin <mathias.bourgoin@gmail.com> |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://gitlab.com/nomadic-labs/ai-harness/ocaml-quint-connect/-/archive/v0.2.0/ocaml-quint-connect-v0.2.0.tar.gz sha256=52a30cb123679ecaf93066c0b3fc336a195e7ca140dbb1ede1d87b4db29ab893 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/quint-connect/quint-connect.0.2.0/opam |
Required by
- cabal_workflow_runnerwith-test
