Searched defs:BackjumpProbability (Results 1 - 1 of 1) sorted by relevance
| /external/llvm/tools/bugpoint/ | ||
| H A D | ListReducer.h | 151 const int BackjumpProbability = 10; local 168 if (std::rand() % 100 < BackjumpProbability) |
Completed in 463 milliseconds