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] Complex x..y..z xpath triggers assertion error #76

Open

andreas-zeller opened this issue May 22, 2023 · 0 comments

andreas-zeller commented May 22, 2023

Describe the bug
When solving a complex XPath expression of the form x..y..z, ISLa raises an AssertionError.

To Reproduce
Use str.len(<FunctionDef>..<Name>..<id>) = 10 or similar as constraint. The result is

AssertionError: If this fails, uncomment the else branch in the source code.

Expected behavior
No assertion error.

System/Installation Specs:

ISLa Version: 1.11.1
Python Version: 3.10
OS: macOS 13.4

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment