A structured Apalache execution, artifact, or manifest failure.
Summary
Types
@type phase() ::
:executable_discovery
| :version_probe
| :version_compatibility
| :run_directory
| :execution
| :itf_discovery
| :manifest
@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 }