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.

Sign up for GitHub

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

Jump to bottom

Bug in z3py LastIndexOf #5856

Closed
hemx0147 opened this issue Feb 19, 2022 · 1 comment
Closed

Bug in z3py LastIndexOf #5856

hemx0147 opened this issue Feb 19, 2022 · 1 comment

Comments

@hemx0147
Copy link

There seems to be a bug in z3py LastIndexOf; it returns incorrect results if the substring is located at the end of the string.

(First reported on Stackoverflow: https://stackoverflow.com/questions/71183324/z3-lastindexof-returns-wrong-result)
NikolajBjorner added a commit that referenced this issue Feb 20, 2022
@NikolajBjorner
fir #5856
f66b4f0
@NikolajBjorner
Copy link
Contributor

fixed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@NikolajBjorner @hemx0147