Lines Matching refs:runCheckersForEvalAssume
252 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);