optimize relooper id counters1.8.0

1 files changed, 50 insertions, 50 deletions

diff --git a/src/relooper/test_fuzz1.txt b/src/relooper/test_fuzz1.txt
index d887f5b8..ccd38934 100644
--- a/src/relooper/test_fuzz1.txt
+++ b/src/relooper/test_fuzz1.txt
@@ -1,72 +1,72 @@
 
 
-print('entry'); var label; var state; var decisions = [4, 1, 7, 2, 6, 6, 8]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
-switch (the_var) {
-default: {
-}
-}
-print(5); state = check();
-switch (the_var) {
-default: {
-}
-}
-print(6); state = check();
-switch (the_var) {
-state == 7 {
- print(7); state = check();
+ print('entry'); var label; var state; var decisions = [4, 1, 7, 2, 6, 6, 8]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
  switch (the_var) {
  default: {
-  label = 3;
  }
  }
- break;
-}
-default: {
-}
-}
-L5: while(1) {
- if (label == 3) {
-  label = 0;
-  print(2); state = check();
+ print(5); state = check();
+ switch (the_var) {
+ default: {
+ }
+ }
+ print(6); state = check();
+ switch (the_var) {
+ state == 7 {
+  print(7); state = check();
   switch (the_var) {
   default: {
+   label = 3;
   }
   }
+  break;
  }
- print(1); state = check();
- switch (the_var) {
  default: {
  }
  }
- while(1) {
-  print(3); state = check();
-  switch (the_var) {
-  state == 8 {
-   break;
+ L5: while(1) {
+  if (label == 3) {
+   label = 0;
+   print(2); state = check();
+   switch (the_var) {
+   default: {
+   }
+   }
   }
-  default: {
-   continue L5;
-  }
-  }
-  print(8); state = check();
+  print(1); state = check();
   switch (the_var) {
-  state == 4 {
-   break;
-  }
   default: {
-   label = 3;
-   continue L5;
   }
   }
-  print(4); state = check();
-  switch (the_var) {
-  state == 3 {
-   break;
-  }
-  default: {
-   continue L5;
-  }
+  while(1) {
+   print(3); state = check();
+   switch (the_var) {
+   state == 8 {
+    break;
+   }
+   default: {
+    continue L5;
+   }
+   }
+   print(8); state = check();
+   switch (the_var) {
+   state == 4 {
+    break;
+   }
+   default: {
+    label = 3;
+    continue L5;
+   }
+   }
+   print(4); state = check();
+   switch (the_var) {
+   state == 3 {
+    break;
+   }
+   default: {
+    continue L5;
+   }
+   }
   }
  }
-}