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

A validated ITF execution trace.

# `t`

```elixir
@type t() :: %ITF.Trace{
  extensions: map(),
  loop_index: non_neg_integer() | nil,
  metadata: map(),
  params: [String.t()],
  states: [ITF.State.t()],
  vars: [String.t()]
}
```

---

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