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

Model-based testing helpers for replaying Quint traces against Elixir implementations.

Most projects use `QuintConnect.Case` from ExUnit tests.

---

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