Apalachex (apalachex v0.2.0)

Copy Markdown View Source

Runs deterministic Apalache plans on POSIX systems and returns retained ITF artifact paths.

Summary

Types

run_option()

Functions

run(plan)

Runs an Apalache plan with the default executable on a POSIX system.

run(plan, options)

Runs an Apalache plan synchronously on a POSIX system.

Types

run_option()

@type run_option() ::
  {:executable, String.t()} | {:timeout, pos_integer() | :infinity}

Functions

run(plan)

@spec run(Apalachex.Plan.t()) ::
  {:ok, Apalachex.Result.t()} | {:error, Apalachex.Error.t()}

Runs an Apalache plan with the default executable on a POSIX system.

run(plan, options)

@spec run(Apalachex.Plan.t(), [run_option()]) ::
  {:ok, Apalachex.Result.t()} | {:error, Apalachex.Error.t()}

Runs an Apalache plan synchronously on a POSIX system.

:executable selects the Apalache executable. :timeout is a positive millisecond command-wait bound or :infinity; its default is :infinity.