ITF (itf v0.1.0)

Copy Markdown View Source

Decodes Apalache ITF JSON into a path-validated ITF.Trace.

This library consumes traces; it never executes Apalache.

Summary

Functions

decode(input, options \\ [])

Decodes an ITF JSON binary.

load(path, options \\ [])

Loads and decodes an ITF JSON file, following symlinks to regular files.

Functions

decode(input, options \\ [])

@spec decode(
  binary(),
  keyword()
) :: {:ok, ITF.Trace.t()} | {:error, ITF.Error.t()}

Decodes an ITF JSON binary.

load(path, options \\ [])

@spec load(
  Path.t(),
  keyword()
) :: {:ok, ITF.Trace.t()} | {:error, ITF.Error.t()}

Loads and decodes an ITF JSON file, following symlinks to regular files.