Victoria.Spec (Victoria v0.1.0)

Copy Markdown View Source

Identifies the source and optional configuration files for a TLA+ specification.

Construct specs with new/1; direct struct construction bypasses filesystem and extension validation.

Summary

Types

t()

A validated TLA+ source and optional Apalache configuration.

Functions

new(options)

Validates source/config paths and returns a specification reference.

Types

t()

@type t() :: %Victoria.Spec{config: Path.t() | nil, source: Path.t()}

A validated TLA+ source and optional Apalache configuration.

Functions

new(options)

@spec new(keyword()) :: {:ok, t()} | {:error, Victoria.Spec.Error.t()}

Validates source/config paths and returns a specification reference.