Searched refs:EvalAssumeChecker (Results 1 – 1 of 1) sorted by relevance
639 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume() local644 state = EvalAssumeChecker(state, Cond, Assumption); in runCheckersForEvalAssume()