Predicate MakeWithSplitting::Consistency::nonUniqueSetRepresentation
Holds if s1 and s2 are distinct representations of the same set.
Import path
import codeql.controlflow.Cfgpredicate nonUniqueSetRepresentation(Splits s1, Splits s2)Holds if s1 and s2 are distinct representations of the same set.
import codeql.controlflow.Cfgpredicate nonUniqueSetRepresentation(Splits s1, Splits s2)