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