Open Issues Need Help
View All on GitHubAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
AI Summary: Modify the Quint CLI to validate the `--n-traces` and `--max-samples` command-line arguments. If `n-traces` is greater than `max-samples`, the CLI should return an error instead of silently producing fewer traces than requested.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)