Apalachex.Error exception (apalachex v0.1.0)

Copy Markdown View Source

A structured Apalache execution, artifact, or manifest failure.

Summary

Types

phase()

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

t()

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