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