Predicate MakeWithSplitting::TestOutput::edges
Holds if pred -> succ is an edge in the CFG.
Import path
import codeql.controlflow.Cfgpredicate edges(RelevantNode pred, RelevantNode succ, string label)Holds if pred -> succ is an edge in the CFG.
import codeql.controlflow.Cfgpredicate edges(RelevantNode pred, RelevantNode succ, string label)