Skip to content

Set precision to high

bd7bc2f
Select commit
Loading
Failed to load commit list.
Merged

First implementation of Rule-0-0-2, invariant conditions. #1003

Set precision to high
bd7bc2f
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Feb 7, 2026 in 2s

No new alerts in code changed by this pull request