New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Signal if counterexample is unique or not #890

Open

nunoplopes opened this issue Feb 26, 2023 · 0 comments

Labels

Member

nunoplopes commented Feb 26, 2023

feature request by @regehr.

Negate the model & recheck.
But, checking just the last query isn't enough; it needs to check all subsequent ones as well (or all; sounds easier).

nunoplopes added the enhancement label

# for free to join this conversation on GitHub. Already have an account? # to comment