Member predicate TrackableState::testsFor
Holds if test shows value to be untainted with taint, given the context ctx.
predicate testsFor(PyEdgeRefinement test, Context ctx, boolean sense)Holds if test shows value to be untainted with taint, given the context ctx.
predicate testsFor(PyEdgeRefinement test, Context ctx, boolean sense)