Victoria.Apalache.Plan (Victoria v0.1.0)

Copy Markdown View Source

Describes a pure, non-executing Apalache invocation plan.

Construct plans with new/2. Direct struct construction bypasses argument and path validation.

Summary

Types

mode()

Supported Apalache operation.

t()

A validated, shell-free argv plan.

Functions

new(spec, options)

Builds a deterministic invocation plan without executing Apalache.

Types

mode()

@type mode() :: :simulate | :check

Supported Apalache operation.

t()

@type t() :: %Victoria.Apalache.Plan{
  argv: [String.t()],
  mode: mode(),
  options: %{:length => non_neg_integer(), optional(:max_run) => pos_integer()},
  run_directory: Path.t(),
  spec: Victoria.Spec.t(),
  working_directory: Path.t()
}

A validated, shell-free argv plan.

Functions

new(spec, options)

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

Builds a deterministic invocation plan without executing Apalache.