Searched refs:UntestedPredicates (Results 1 – 1 of 1) sorted by relevance
71 UntestedPredicatesTy UntestedPredicates; variable106 return make_range(UntestedPredicates.begin(), UntestedPredicates.end()); in untested_predicates()109 UntestedPredicates.push_back(P); in addUntestedPredicate()