mirror of
https://github.com/github/codeql.git
synced 2026-04-29 10:45:15 +02:00
1a65a27fde
In https://github.com/github/codeql/pull/8641, `localFlowExit` was changed to use `Stage2::readStepCand` instead of `read`, which means that the big-step relation is broken up less. This causes test result changes. Nothing is lost from the `select` clause, but some results may have fewer paths, and fewer nodes and edges are output in the test results.