Skip to content
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

Broken loop #230

Closed
wintersteiger opened this issue Oct 3, 2015 · 1 comment
Closed

Broken loop #230

wintersteiger opened this issue Oct 3, 2015 · 1 comment

Comments

@wintersteiger
Copy link
Contributor

From #24: This loop is executed only a single time. Always. Is this correct?

Looks fishy to me, that break statement should probably be removed altogether.

NikolajBjorner added a commit that referenced this issue Oct 4, 2015
NikolajBjorner added a commit that referenced this issue Oct 4, 2015
@NikolajBjorner
Copy link
Contributor

looks like a missing else { break; } statement. Unit test passes.

wintersteiger pushed a commit to wintersteiger/z3 that referenced this issue Oct 5, 2015
wintersteiger pushed a commit to wintersteiger/z3 that referenced this issue Oct 5, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants