Apalachex.Result (apalachex v0.1.0)

Copy Markdown View Source

A completed Apalache run with retained ITF artifacts.

Summary

Types

t()

Types

t()

@type t() :: %Apalachex.Result{
  executable: Path.t(),
  exit_status: non_neg_integer(),
  itf_paths: [Path.t(), ...],
  output: binary(),
  plan: Apalachex.Plan.t(),
  version: Version.t()
}