Apalachex (apalachex v0.1.0)

Copy Markdown View Source

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

Windows execution is unsupported in 0.1.0 and is rejected before executable discovery, version probing, or run-directory allocation.

Summary

Functions

run(plan)

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

run(plan, options)

Runs an Apalache plan on a POSIX system; the only option is :executable.

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(),
  keyword()
) :: {:ok, Apalachex.Result.t()} | {:error, Apalachex.Error.t()}

Runs an Apalache plan on a POSIX system; the only option is :executable.

On Windows, returns an :execution error with {:unsupported_platform, :win32} after validating options and before executable discovery, version probing, or run-directory allocation.