mirror of
https://github.com/github/codeql.git
synced 2026-02-20 08:53:49 +01:00
When printing a tree CodeQL iterates over the nodes and for each node prints the successor edges as children. If the the successor edges are ordered by target node then the children printe in the right order in the expected output.