optimize relooper id counters1.8.0

1 files changed, 21 insertions, 21 deletions

diff --git a/src/relooper/test_fuzz2.txt b/src/relooper/test_fuzz2.txt
index 69f4350c..a94908a1 100644
--- a/src/relooper/test_fuzz2.txt
+++ b/src/relooper/test_fuzz2.txt
@@ -1,30 +1,30 @@
 
 
-print('entry'); var label; var state; var decisions = [4, 1, 4, 3, 4, 1, 2, 5, 1, 3, 5, 5, 1, 5, 2, 4, 4, 3]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
-switch (the_var) {
-state == 1 {
- while(1) {
-  print(1); state = check();
-  switch (the_var) {
-  default: {
-  }
+ print('entry'); var label; var state; var decisions = [4, 1, 4, 3, 4, 1, 2, 5, 1, 3, 5, 5, 1, 5, 2, 4, 4, 3]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
+ switch (the_var) {
+ state == 1 {
+  while(1) {
+   print(1); state = check();
+   switch (the_var) {
+   default: {
+   }
+   }
   }
+  break;
  }
- break;
-}
-default: {
-}
-}
-while(1) {
- print(3); state = check();
- switch (the_var) {
  default: {
  }
  }
- print(2); state = check();
- switch (the_var) {
- default: {
- }
+ while(1) {
+  print(3); state = check();
+  switch (the_var) {
+  default: {
+  }
+  }
+  print(2); state = check();
+  switch (the_var) {
+  default: {
+  }
+  }
  }
-}