Predicate MakeWithSplitting::Consistency::nonUniqueSplitKind
Holds if split has multiple kinds.
Import path
import codeql.controlflow.Cfgpredicate nonUniqueSplitKind(SplitImpl split, SplitKind sk)Holds if split has multiple kinds.
import codeql.controlflow.Cfgpredicate nonUniqueSplitKind(SplitImpl split, SplitKind sk)