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