Merge pull request #94 from vasylenson/fix-level

Fix level predicate
rindPHI · Jul 1, 2024 · 1a04b78 · 1a04b78
2 parents 3de0299 + 4d79e47
commit 1a04b78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/isla/isla_predicates.py b/src/isla/isla_predicates.py
@@ -187,7 +187,7 @@ def level_check(  # noqa: C901
         if path_1[idx] != path_2[idx]:
             break
 
-        prefix = path_1[:idx]
+        prefix = path_1[:idx + 1]  # should consider a prefix up to and including the current index
         if context_tree.get_subtree(prefix).value == nonterminal:
             common_nonterminal_prefixes.append(prefix)