Victoria.Workflow.Error exception (Victoria v0.1.0)

Copy Markdown View Source

A contextual conformance-workflow failure.

Errors are constructed by Victoria and should be treated as read-only. Verification failures retain earlier successful verifications and the full Apalache result.

Summary

Types

phase()

The workflow phase that failed.

t()

A run-directory, Apalache, or implementation-verification failure.

Types

phase()

@type phase() :: :run_directory | :apalache | :verification

The workflow phase that failed.

t()

@type t() :: %Victoria.Workflow.Error{
  __exception__: term(),
  apalache: Victoria.Apalache.Result.t() | nil,
  completed_verifications: [Victoria.Workflow.Verification.t()],
  model: module(),
  phase: phase(),
  reason: term(),
  spec: Victoria.Spec.t(),
  trace_index: non_neg_integer() | nil,
  trace_path: Path.t() | nil
}

A run-directory, Apalache, or implementation-verification failure.