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