Searched refs:InitialRLimit (Results 1 – 1 of 1) sorted by relevance
96 unsigned InitialRLimit = GetUsedRLimit(Solver); in finalizeVisitor() local103 GetUsedRLimit(Solver) - InitialRLimit, in finalizeVisitor()