Predicate Conditionals::testEvaluates
Import path
import semmle.python.pointsto.PointsToboolean testEvaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal value, ControlFlowNode origin)import semmle.python.pointsto.PointsToboolean testEvaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal value, ControlFlowNode origin)