mirror of
https://github.com/github/codeql.git
synced 2026-04-23 07:45:17 +02:00
These would shorten the expected distance to a node, but would never be usable as an edge, meaning we failed to pick a preferred predecessor.
These would shorten the expected distance to a node, but would never be usable as an edge, meaning we failed to pick a preferred predecessor.