diff options
Diffstat (limited to 'src/relooper/test5.txt')
-rw-r--r-- | src/relooper/test5.txt | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/src/relooper/test5.txt b/src/relooper/test5.txt new file mode 100644 index 00000000..ad769ae7 --- /dev/null +++ b/src/relooper/test5.txt @@ -0,0 +1,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 +} + |