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