mirror of
https://github.com/github/codeql.git
synced 2026-02-11 12:41:06 +01: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.