Victoria.Apalache.Result (Victoria v0.1.0)

Copy Markdown View Source

Complete context returned after successful Apalache trace materialization.

Results are constructed by Victoria and should be treated as read-only. The output field contains complete raw subprocess bytes and may not be UTF-8.

Summary

Types

t()

A materialized run with ordered trace paths and loaded traces.

Types

t()

@type t() :: %Victoria.Apalache.Result{
  executable: Path.t(),
  exit_status: non_neg_integer(),
  output: binary(),
  plan: Victoria.Apalache.Plan.t(),
  trace_paths: [Path.t(), ...],
  traces: [Victoria.Trace.t(), ...],
  version: Version.t()
}

A materialized run with ordered trace paths and loaded traces.