1 files changed, 14 insertions, 13 deletions
diff --git a/src/relooper/test_fuzz5.txt b/src/relooper/test_fuzz5.txt
index 7c795d53..9548205c 100644
--- a/src/relooper/test_fuzz5.txt
+++ b/src/relooper/test_fuzz5.txt
@@ -3,21 +3,22 @@
 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();
-  L3: 
-  if (state % 3 == 1) {
-    label = 3;
-  } else if (state % 3 == 0) {
-    print(8); state = check();
-    if (state % 2 == 0) {
-      label = 5;
-      break L3;
+  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 {
-      label = 7;
-      break L3;
+      break L1;
     }
-  } else {
-    break L1;
-  }
+  } while(0);
   while(1) {
     if (label == 3) {
       label = 0;