# quint_connect v0.1.0 - Table of Contents

> Model-based testing for Elixir: connect Quint specifications to Elixir implementations.

## Pages

- [Quint Connect for Elixir](readme.md)
- [Changelog](changelog.md)
- [LICENSE](license.md)

## Modules

- [QuintConnect](QuintConnect.md): Model-based testing helpers for replaying Quint traces against Elixir implementations.
- [QuintConnect.Case](QuintConnect.Case.md): ExUnit DSL for replaying Quint traces against Elixir drivers.

- [QuintConnect.Config](QuintConnect.Config.md): Options for Quint subprocess invocation and replay.
- [QuintConnect.Driver](QuintConnect.Driver.md): Behaviour for replaying a Quint trace step on your implementation.
- [QuintConnect.ITF.Trace](QuintConnect.ITF.Trace.md): Decoder for Informal Trace Format JSON emitted by Quint.

- [QuintConnect.ITF.Value](QuintConnect.ITF.Value.md): Normalizes ITF-encoded Quint values into Elixir terms.
- [QuintConnect.QuintCLI](QuintConnect.QuintCLI.md): Builds `quint run` / `quint test` argument lists and environment for `System.cmd/3`.

- [QuintConnect.Replay](QuintConnect.Replay.md): Replays decoded Quint traces through an Elixir driver.

- [QuintConnect.Runner](QuintConnect.Runner.md): Runs Quint and lists emitted ITF traces.

- [QuintConnect.State](QuintConnect.State.md): Behaviour for projecting implementation state into a form comparable to Quint ITF state.
- [QuintConnect.Step](QuintConnect.Step.md): One replayable Quint step extracted from an ITF state.

- Exceptions
  - [QuintConnect.Replay.Error](QuintConnect.Replay.Error.md): Structured replay failure.