aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test5.txt
diff options
context:
space:
mode:
Diffstat (limited to 'src/relooper/test5.txt')
-rw-r--r--src/relooper/test5.txt32
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
+}
+