Comment out tag-clearing reset for testrig

src/cheri_step_ext.sail

@@ -31,37 +31,37 @@ function ext_cheri_reset() -> unit = {
   dddc = {dddc with tag = false};
   dinfc = infinite_cap;
 
-  x1 = {x1 with tag = false};
-  x2 = {x2 with tag = false};
-  x3 = {x3 with tag = false};
-  x4 = {x4 with tag = false};
-  x5 = {x5 with tag = false};
-  x6 = {x6 with tag = false};
-  x7 = {x7 with tag = false};
-  x8 = {x8 with tag = false};
-  x9 = {x9 with tag = false};
-  x10 = {x10 with tag = false};
-  x11 = {x11 with tag = false};
-  x12 = {x12 with tag = false};
-  x13 = {x13 with tag = false};
-  x14 = {x14 with tag = false};
-  x15 = {x15 with tag = false};
-  x16 = {x16 with tag = false};
-  x17 = {x17 with tag = false};
-  x18 = {x18 with tag = false};
-  x19 = {x19 with tag = false};
-  x20 = {x20 with tag = false};
-  x21 = {x21 with tag = false};
-  x22 = {x22 with tag = false};
-  x23 = {x23 with tag = false};
-  x24 = {x24 with tag = false};
-  x25 = {x25 with tag = false};
-  x26 = {x26 with tag = false};
-  x27 = {x27 with tag = false};
-  x28 = {x28 with tag = false};
-  x29 = {x29 with tag = false};
-  x30 = {x30 with tag = false};
-  x31 = {x31 with tag = false};
+  //x1 = {x1 with tag = false};
+  //x2 = {x2 with tag = false};
+  //x3 = {x3 with tag = false};
+  //x4 = {x4 with tag = false};
+  //x5 = {x5 with tag = false};
+  //x6 = {x6 with tag = false};
+  //x7 = {x7 with tag = false};
+  //x8 = {x8 with tag = false};
+  //x9 = {x9 with tag = false};
+  //x10 = {x10 with tag = false};
+  //x11 = {x11 with tag = false};
+  //x12 = {x12 with tag = false};
+  //x13 = {x13 with tag = false};
+  //x14 = {x14 with tag = false};
+  //x15 = {x15 with tag = false};
+  //x16 = {x16 with tag = false};
+  //x17 = {x17 with tag = false};
+  //x18 = {x18 with tag = false};
+  //x19 = {x19 with tag = false};
+  //x20 = {x20 with tag = false};
+  //x21 = {x21 with tag = false};
+  //x22 = {x22 with tag = false};
+  //x23 = {x23 with tag = false};
+  //x24 = {x24 with tag = false};
+  //x25 = {x25 with tag = false};
+  //x26 = {x26 with tag = false};
+  //x27 = {x27 with tag = false};
+  //x28 = {x28 with tag = false};
+  //x29 = {x29 with tag = false};
+  //x30 = {x30 with tag = false};
+  //x31 = {x31 with tag = false};
 }
 
 function ext_cheri_reset_misa() -> unit = {