Searched refs:LeafI (Results 1 – 1 of 1) sorted by relevance
241 for (auto LeafI = Leaves.begin(), LeafE = Leaves.end(); in runStep() local242 LeafI != LeafE; ++LeafI) { in runStep()243 if (LeafI->isFullyTraversed() && LeafI->isFullyTested()) in runStep()244 FullyTestedLeafI = LeafI; in runStep()246 PrintError("Leaf " + LeafI->getName() + " is unreachable"); in runStep()