QuintConnect.ITF.Trace (quint_connect v0.1.0)

Decoder for Informal Trace Format JSON emitted by Quint.

Summary

t()

decode(binary)

Decode ITF JSON binary into QuintConnect.ITF.Trace.

decode!(binary)

Decode ITF JSON binary and raise on failure.

from_file(path)

Decode ITF JSON file.

@type t() :: %QuintConnect.ITF.Trace{
  loop: term(),
  meta: map() | nil,
  states: list() | nil,
  vars: list() | nil
}

@spec decode(String.t()) :: {:ok, t()} | {:error, term()}

Decode ITF JSON binary into QuintConnect.ITF.Trace.

@spec decode!(String.t()) :: t()

Decode ITF JSON binary and raise on failure.

@spec from_file(Path.t()) :: {:ok, t()} | {:error, term()}

Decode ITF JSON file.