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
}