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