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