Home | History | Annotate | Download | only in Core

Lines Matching refs:runCheckersForEvalAssume

252   return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);