mirror of
https://github.com/github/codeql.git
synced 2025-12-20 18:56:32 +01:00
The expected output was incorrect and the result of an evaluator bug. This change should go together with the internal PR that fixes this bug.
The expected output was incorrect and the result of an evaluator bug. This change should go together with the internal PR that fixes this bug.