Victoria.Workflow (Victoria v0.1.0)

Copy Markdown View Source

Runs Apalache and verifies every materialized trace against one model.

Traces are verified sequentially in materialization order with a fresh model lifecycle for each trace. Verification stops at the first failure. The call is synchronous, has no Victoria timeout, and retains Apalache artifacts.

Summary

Functions

run(model, spec, options)

Runs a generated conformance workflow from a validated spec and plan options.

Functions

run(model, spec, options)

@spec run(module(), Victoria.Spec.t(), keyword()) ::
  {:ok, Victoria.Workflow.Result.t()} | {:error, Victoria.Workflow.Error.t()}

Runs a generated conformance workflow from a validated spec and plan options.