Searched refs:MaxBranchesExplored (Results 1 – 1 of 1) sorted by relevance
50 static cl::opt<uint64_t> MaxBranchesExplored( variable576 if (MaxBranchesExplored > 0 && BranchesExplored >= MaxBranchesExplored) in checkOptimal()