Module Make::TestOutput

Import this module into a .ql file of @kind graph to render a CFG. The graph is restricted to nodes from RelevantNode.

Import path

import codeql.controlflow.Cfg

edges	Holds if `pred -> succ` is an edge in the CFG.
nodes	Holds if `n` is a relevant node in the CFG.

RelevantNode