New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Guides to write #1579

Open

6 tasks

bugarela opened this issue Dec 23, 2024 · 0 comments

Labels

doc

Collaborator

bugarela commented Dec 23, 2024

How to use q::lastTrace (related to Flag that opens q::lastTrace on the REPL on violation #1569)
How to rewrite recursion with folds
How to use the seed
- How to use the seed in the REPL
How to re-use nondet statements with parameterized actions
How to use parallel to run simulations in parallel
How to use runs to simulate from a certain point (needs UX improvement, see Runs in actions work but are not model-checkable #1576)

The text was updated successfully, but these errors were encountered:

bugarela added the doc label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment