High-level access to Apalachex specification validation.
Summary
Functions
Validates source/config paths and returns a specification reference.
Types
@type t() :: Apalachex.Spec.t()
A validated TLA+ source and optional Apalache configuration.
Functions
@spec new(keyword()) :: {:ok, t()} | {:error, Apalachex.Spec.Error.t()}
Validates source/config paths and returns a specification reference.