Rasmus Wriedt Larsen 5d01cb7c28 Python: Fix bad QL-rewriting ...

Original code:

exists(Expr e, For forloop | forloop = loop and e.pointsTo(_, _, capturing) |
    not loop.contains(e)
)

The new version will preserve the same semantics. The problem with the first
rewrite was that `not loop.(For).somethingMore` would hold for any AstNode that
was not a For

2020-01-06 13:30:37 +01:00

..

examples

Python examples: Modernize snippets.

2019-08-08 10:55:45 +01:00

src

Python: Fix bad QL-rewriting

2020-01-06 13:30:37 +01:00

test

Python: Cleanup overrides tests

2020-01-06 10:55:37 +01:00