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

A structured Apalache execution or trace-materialization failure.

Errors are constructed by Victoria and should be treated as read-only. Raw output is retained in the struct; Exception.message/1 renders only a bounded, binary-safe tail.

Summary

Types

phase()

The Apalache boundary phase that failed.

t()

An Apalache failure with plan, process, artifact, and manifest context.

Types

phase()

@type phase() ::
  :executable_discovery
  | :version_probe
  | :version_compatibility
  | :run_directory
  | :execution
  | :trace_discovery
  | :trace_loading
  | :manifest

The Apalache boundary phase that failed.

t()

@type t() :: %Victoria.Apalache.Error{
  __exception__: term(),
  executable: Path.t() | nil,
  exit_status: non_neg_integer() | nil,
  manifest_failure: term() | nil,
  output: binary() | nil,
  phase: phase(),
  plan: Victoria.Apalache.Plan.t(),
  reason: term(),
  trace_paths: [Path.t()],
  version: Version.t() | nil
}

An Apalache failure with plan, process, artifact, and manifest context.