Searched refs:badTerminal (Results 1 – 1 of 1) sorted by relevance
4497 bool badTerminal = ! loop->getTerminal(); in inductiveLoopCheck() local4498 if (! badTerminal) { in inductiveLoopCheck()4509 badTerminal = true; in inductiveLoopCheck()4512 badTerminal = true; in inductiveLoopCheck()4516 badTerminal = true; in inductiveLoopCheck()4519 badTerminal = true; in inductiveLoopCheck()4521 if (badTerminal) { in inductiveLoopCheck()