post-1.3-dev violations update

debug/stored_vios/240720/outputs/reproduce_out/reproduce_violation-240716-223632.out

@@ -0,0 +1,16 @@
+
+INFO: [fuzzer] Starting at 14:03:01
+> Entering slow path...> Priming  12             > Priming  11             > Priming  10             > Priming  9             > Priming  8             > Priming  7             > Priming  6             > Priming  5             
+
+================================ Violations detected ==========================
+Contract trace:
+ 7468289979801120992 (hash)
+Hardware traces:
+  Input group 1: [43]
+  Input group 2: [93]
+  ^^^^..^.^^^....................................^................ [211    | 320   ]
+  ^^^^..^..^^....................................^................ [109    | 0     ]
+
+
+Duration: 272.6
+Finished at 14:07:33

debug/stored_vios/240720/reproduce_out/reproduce_violation-240717-092341.out → debug/stored_vios/240720/outputs/reproduce_out/reproduce_violation-240717-092341.out

@@ -1,16 +1,16 @@
 
-INFO: [fuzzer] Starting at 13:49:37
-> Entering slow path...> Priming  5             > Priming  4             > Priming  3             
+INFO: [fuzzer] Starting at 14:07:35
+> Entering slow path...> Priming  5             > Priming  4             > Priming  3             > Priming  2             
 
 ================================ Violations detected ==========================
 Contract trace:
- 12443674259343076243 (hash)
+ 6319240743125413296 (hash)
 Hardware traces:
   Input group 1: [19]
   Input group 2: [69]
-  ^^^..^^........^............^.....^..........^.................^ [320    | 130   ]
-  ^^^...^........^............^.....^..........^.................^ [0      | 190   ]
+  ^^^..^^........^............^.....^..........^.................^ [319    | 147   ]
+  ^^^...^........^............^.....^..........^.................^ [1      | 173   ]
 
 
-Duration: 106.9
-Finished at 13:51:24
+Duration: 140.7
+Finished at 14:09:55

debug/stored_vios/240720/reproduce_out/reproduce_violation-240720-141546.out → debug/stored_vios/240720/outputs/reproduce_out/reproduce_violation-240720-141546.out

@@ -1,5 +1,5 @@
 
-INFO: [fuzzer] Starting at 13:51:26
+INFO: [fuzzer] Starting at 14:09:57
 > Entering slow path...> Priming  2             > Priming  1             
 ================================ Statistics ===================================
 
@@ -19,5 +19,5 @@ Discarded Test Cases:
   Large Sample Check: 0
   Priming Check: 0
 
-Duration: 2.0
-Finished at 13:51:28
+Duration: 1.9
+Finished at 14:09:59

debug/stored_vios/240720/reproduce_af_out/reproduce_af_violation-240720-161338.out → debug/stored_vios/240720/outputs/reproduce_out/reproduce_violation-240720-161338.out

@@ -1,25 +1,23 @@
 
-WARNING: [fuzzer] Running in architectural mode. Contract violations can't be detected!
-
-INFO: [fuzzer] Starting at 13:51:29
-
+INFO: [fuzzer] Starting at 14:10:00
+> Entering slow path...> Priming  2             > Priming  1             
 ================================ Statistics ===================================
 
 Test Cases: 1
 Inputs per test case: 100.0
 Violations: 0
 Effectiveness: 
-  Total Cls: 0.0
-  Effective Cls: 0.0
+  Total Cls: 50.0
+  Effective Cls: 50.0
 Discarded Test Cases:
   Speculation Filter: 0
   Observation Filter: 0
   Fast Path: 0
   Max Nesting Check: 0
   Tainting Check: 0
-  Early Priming Check: 0
+  Early Priming Check: 1
   Large Sample Check: 0
   Priming Check: 0
 
-Duration: 0.5
-Finished at 13:51:30
+Duration: 1.9
+Finished at 14:10:02

debug/stored_vios/240720/outputs/reproduce_out/reproduce_violation-240720-203237.out

@@ -0,0 +1,5 @@
+
+INFO: [fuzzer] Starting at 14:10:03
+
+Duration: 1.2
+Finished at 14:10:04