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