quint_connect
v0.1.0
Search documentation of quint_connect
Default
Default
In-browser search
Settings
QuintConnect.
Case
(quint_connect v0.1.0)
Copy Markdown
View Source
ExUnit DSL for replaying Quint traces against Elixir drivers.
Summary
Functions
quint_run(name, opts)
quint_test(name, opts)
Functions
quint_run(name, opts)
(macro)
quint_test(name, opts)
(macro)