QuintConnect.Replay (quint_connect v0.1.0)

Copy Markdown View Source

Replays decoded Quint traces through an Elixir driver.

Summary

Functions

run(driver, trace, opts \\ [])

Replays every ITF state as one driver step.

Functions

run(driver, trace, opts \\ [])

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

Replays every ITF state as one driver step.