package quint-connect

Build not yet checked
  1. Overview
  2. No Docs
Check OCaml implementations and execution logs against Quint models

Install 

dune-project
 Dependency

gitlab.com Edit opam file Versions (1)

Authors

  1. M
    Mathias Bourgoin <mathias.bourgoin@gmail.com>

Maintainers

  1. M
    Mathias Bourgoin <mathias.bourgoin@gmail.com>

Sources

ocaml-quint-connect-v0.2.0.tar.gz
sha256=52a30cb123679ecaf93066c0b3fc336a195e7ca140dbb1ede1d87b4db29ab893

Description

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.

Added to opam-repository:

Dependencies (4)

  1. ppxlib >= "0.26"
  2. yojson >= "3.0.0"
  3. dune >= "3.24"
  4. ocaml >= "5.2.1"

Dev Dependencies (3)

  1. odoc with-doc
  2. sqlite3 with-test
  3. alcotest with-test

Optional Dependencies

None

Conflicts (1)

  1. ocaml-quint-connect

Build status

This version of quint-connect was published after the check.ci.ocaml.org run of against opam-repository 8a77e58, so it has no build results yet. check.ci runs about once a week.