Searched refs:AttemptOnce (Results 1 – 1 of 1) sorted by relevance
94 auto AttemptOnce = [&](const llvm::SMTSolverRef &Solver) -> Z3Result { in finalizeVisitor() local110 Result = AttemptOnce(RefutationSolver); in finalizeVisitor()