Apalachex.Plan (apalachex v0.1.0)

Copy Markdown View Source

A pure, shell-free Apalache invocation plan.

Summary

Types

t()

Functions

new(spec, options)

Builds a deterministic invocation plan without executing it.

Types

t()

@type t() :: %Apalachex.Plan{
  argv: [String.t()],
  mode: :simulate | :check,
  options: map(),
  run_directory: Path.t(),
  spec: Apalachex.Spec.t(),
  working_directory: Path.t()
}

Functions

new(spec, options)

@spec new(
  Apalachex.Spec.t(),
  keyword()
) :: t()

Builds a deterministic invocation plan without executing it.