diff --git a/test-circuit/injection_test.yml b/test-circuit/injection_test.yml index 0c5c1a3..e4cf9c0 100644 --- a/test-circuit/injection_test.yml +++ b/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);