QuintConnect (quint_connect v0.1.0)

Copy Markdown View Source

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

Most projects use QuintConnect.Case from ExUnit tests.