Modules
Model-based testing helpers for replaying Quint traces against Elixir implementations.
ExUnit DSL for replaying Quint traces and running Quint verification.
Options for Quint subprocess invocation, replay, and verification.
Behaviour for replaying a Quint trace step on your implementation.
Decoder for Informal Trace Format JSON emitted by Quint.
Normalizes ITF-encoded Quint values into Elixir terms.
Builds quint run, quint test, and quint verify argument lists and
environment for System.cmd/3.
Replays decoded Quint traces through an Elixir driver.
Structured replay failure.
Runs Quint and lists emitted ITF traces when the command writes them.
Behaviour for projecting implementation state into a form comparable to Quint ITF state.
One replayable Quint step extracted from an ITF state.
Pattern matching DSL for QuintConnect.Step action dispatch.