src/relooper/test5.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

//0
if (check(0)) {
 while(1) {
  //1
  if (!(check(1))) {
   break;
  }
 }
 while(1) {
  //2
  if (!(check(2))) {
   break;
  }
 }
 //3
} else {
 goingFrom0to4();
 while(1) {
  //4
  if (!(check(4))) {
   break;
  }
 }
 while(1) {
  //5
  if (check(5)) {
   break;
  }
 }
 //3
}