-
Notifications
You must be signed in to change notification settings - Fork 12
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.
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
Yices error when invoking sally #53
Comments
Yes, this is not the best error to report. Just to clarify, which do you think it's better to report:
|
I am not really sure. As far as I understand, the meaning of I haven't played around with sally's support for deadlock detection yet, but perhaps if one of the |
Hello,
Consider the following trivial transition system:
When I run sally (master, git commit 0b88fe9) I get:
I am guessing that this has something to do with the initial set of states being empty.
The text was updated successfully, but these errors were encountered: