Predicate equality_test

Holds if c is a test comparing x and y. is is true if the operator is is or ==, it is false if the operator is is not or !=.

Import path

import semmle.python.pointsto.Filters

predicate equality_test(CompareNode c, ControlFlowNode x, boolean is, ControlFlowNode y)