Searched refs:LastChanceRecoloringMaxDepth (Results 1 – 2 of 2) sorted by relevance
69 LastChanceRecoloringMaxDepth("lcr-max-depth", cl::Hidden, variable2092 if (Depth >= LastChanceRecoloringMaxDepth && !ExhaustiveSearch) { in tryLastChanceRecoloring()
98 LastChanceRecoloringMaxDepth("lcr-max-depth", cl::Hidden, variable2571 if (Depth >= LastChanceRecoloringMaxDepth && !ExhaustiveSearch) { in tryLastChanceRecoloring()