# `QuintConnect.ITF.Trace`
[🔗](https://github.com/marquesds/quint-connect/blob/v0.1.0/lib/quint_connect/itf/trace.ex#L1)

Decoder for Informal Trace Format JSON emitted by Quint.

# `t`

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

# `decode`

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

Decode ITF JSON binary into `QuintConnect.ITF.Trace`.

# `decode!`

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

Decode ITF JSON binary and raise on failure.

# `from_file`

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

Decode ITF JSON file.

---

*Consult [api-reference.md](api-reference.md) for complete listing*