1 files changed, 56 insertions, 0 deletions
diff --git a/src/relooper/test_fuzz5.txt b/src/relooper/test_fuzz5.txt
new file mode 100644
index 00000000..9548205c
--- /dev/null
+++ b/src/relooper/test_fuzz5.txt
@@ -0,0 +1,56 @@
+
+
+print('entry'); var label; var state; var decisions = [133, 98, 134, 143, 162, 187, 130, 87, 91, 49, 102, 47, 9, 132, 179, 176, 157, 25, 64, 161, 57, 107, 16, 167, 185, 45, 191, 180, 23, 131]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
+L1: while(1) {
+  print(7); state = check();
+  do {
+    if (state % 3 == 1) {
+      label = 3;
+    } else if (state % 3 == 0) {
+      print(8); state = check();
+      if (state % 2 == 0) {
+        label = 5;
+        break;
+      } else {
+        label = 7;
+        break;
+      }
+    } else {
+      break L1;
+    }
+  } while(0);
+  while(1) {
+    if (label == 3) {
+      label = 0;
+      print(2); state = check();
+      print(1); state = check();
+      if (state % 2 == 0) {
+        label = 5;
+        continue;
+      } else {
+        label = 7;
+        continue;
+      }
+    }
+    else if (label == 5) {
+      label = 0;
+      print(4); state = check();
+      label = 3;
+      continue;
+    }
+    else if (label == 7) {
+      label = 0;
+      print(6); state = check();
+      if (state % 2 == 0) {
+        continue L1;
+      } else {
+        label = 7;
+        continue;
+      }
+    }
+  }
+}
+while(1) {
+  print(3); state = check();
+}
+