# `ITF`
[🔗](https://github.com/kokjinsam/itf/blob/v0.1.0/lib/itf.ex#L1)

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

This library consumes traces; it never executes Apalache.

# `decode`

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

Decodes an ITF JSON binary.

# `load`

```elixir
@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.

---

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