Modules
The primary API for verifying one fixed formal trace.
ExUnit assertion helpers for Victoria conformance verification.
Defines the implementation lifecycle used while replaying a trace.
Sequentially replays a validated trace through a Victoria.Model lifecycle.
Structured failure returned by fixed-trace replay.
Summary returned after a successful fixed-trace replay.
High-level access to Apalachex specification validation.
A normalized formal state and the transition that produced it.
A decoded ITF trace adapted for Victoria replay.
A structured Victoria trace-adaptation error.
The semantic mismatch returned directly by Victoria.Verifier.verify/2.
Compares expected and observed states using exact Elixir equality (===).
Runs Apalache and verifies every materialized trace against one model.
A contextual conformance-workflow failure.
Complete result of a successful conformance workflow.
Associates one generated trace with its successful verification report.