qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate Consistency::nonUniqueSetRepresentation

Import path

import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared
predicate nonUniqueSetRepresentation(Splits s1, Splits s2)