Searched refs:GetUsedRLimit (Results 1 – 1 of 1) sorted by relevance
90 auto GetUsedRLimit = [](const llvm::SMTSolverRef &Solver) { in finalizeVisitor() local96 unsigned InitialRLimit = GetUsedRLimit(Solver); in finalizeVisitor()103 GetUsedRLimit(Solver) - InitialRLimit, in finalizeVisitor()