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

Replays decoded Quint traces through an Elixir driver.

# `run`

```elixir
@spec run(module(), QuintConnect.ITF.Trace.t(), keyword()) ::
  :ok | {:error, QuintConnect.Replay.Error.t()}
```

Replays every ITF state as one driver step.

---

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