-
Notifications
You must be signed in to change notification settings - Fork 10
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
Reproducing a minimal example with arithmeticPostconditions #17
Comments
Let me try to reproduce, and I'll get back to you soon. 😄 |
I recreated my example as a test for convenience. You can see it in the #18 where it shows the same behaviour. |
I was using the Goal instead of the ComparativeGoal, which was the cause for the error. When you use the ComparativeGoal it works as it should. I've added that to the test in the pull request as well. |
I'm so glad to hear this works properly! I was confused as I'm pretty sure I have a test for that. I'll look at your PR and get that test added in. 😄 |
And yes, the regular goals are just relatively simple equality checks. Should I make that more clear in my documentation, or was it just a typo in this case? |
I think an additional sentence in the documentation would be good. I'll send a pull request |
Hi,
I'm trying a minimal example with the arithmeticPostconditions, but I'm getting an infinite loop.
Afterwards I'm executing the Step function once, but viewing the log I can see an infinite loop.
I'm most likely missing something, can you give me a hint?
The text was updated successfully, but these errors were encountered: