quint_connect
v0.3.0
Search documentation of quint_connect
Default
Default
In-browser search
Settings
QuintConnect.
Case
(quint_connect v0.3.0)
Copy Markdown
View Source
ExUnit DSL for replaying Quint traces and running Quint verification.
Summary
Functions
quint_run(name, opts)
quint_test(name, opts)
quint_verify(name, opts)
Functions
quint_run(name, opts)
(macro)
quint_test(name, opts)
(macro)
quint_verify(name, opts)
(macro)