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