Searched refs:MaxNumberOfBBSInPath (Results 1 – 1 of 1) sorted by relevance
95 static cl::opt<int> MaxNumberOfBBSInPath( variable760 int NumBBsOnAllPaths = MaxNumberOfBBSInPath; in checkSafety()