Searched refs:OneSuccessorDone (Results 1 – 1 of 1) sorted by relevance
1271 bool OneSuccessorDone = false; in convertToGuardPredicates() local1281 if (!Succ0 || !Succ1 || OneSuccessorDone) { in convertToGuardPredicates()1286 OneSuccessorDone = true; in convertToGuardPredicates()