Modules
Model-based testing helpers for replaying Quint traces against Elixir implementations.
ExUnit DSL for replaying Quint traces against Elixir drivers.
Options for Quint subprocess invocation and replay.
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 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.
Behaviour for projecting implementation state into a form comparable to Quint ITF state.
One replayable Quint step extracted from an ITF state.