final configuration for paper tests

test-circuit/injection_test.yml

@@ -13,16 +13,16 @@ prepare:
       tests: injection_tests
     generator: fork_based_set_injection
     victim-process: dut.mult
-    hit-probability: 0.1
+    hit-probability: 0.8
     modes-per-fork: 1
-    coverage-certainty: 0.9
-    victim-coverage: 0.5
+    coverage-certainty: 0.4
+    victim-coverage: 1
     injection-windows:
       - begin: 240
-        end: 3000
+        end: 1200
     injection-duration:
-      min: 5
-      max: 30
+      min: 10
+      max: 40
     inject-undefined: false
     random-seed: 1234567
 
@@ -34,3 +34,6 @@ deploy:
     outputs:
       sim_outputs: sim_result
     top: tb
+
+# select count (*) from sim_outputs where (fault_flags & B'100000') = B'100000';
+# update sim_configs set part_status = 'not_started' where part_status = 'finished' and not exists (select 1 from sim_outputs so where so.sim_config = sim_configs.id);