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