Searched refs:MaxCondsPerBranch (Results 1 – 1 of 1) sorted by relevance
43 static const unsigned MaxCondsPerBranch = 8; variable398 if (Visited.size() > MaxCondsPerBranch) in processAssume()443 if (Visited.size() > MaxCondsPerBranch) in processBranch()