diff --git a/test-circuit/injection_test.yml b/test-circuit/injection_test.yml index 883872e..bc2ebd7 100644 --- a/test-circuit/injection_test.yml +++ b/test-circuit/injection_test.yml @@ -1,4 +1,3 @@ - input_artifacts: - name: mult type: act @@ -16,7 +15,7 @@ prepare: hit-probability: 0.8 modes-per-fork: 1 coverage-certainty: 0.4 - victim-coverage: 0.05 + victim-coverage: 0.5 injection-windows: - begin: 240 end: 1200 @@ -37,3 +36,40 @@ deploy: # select count (*) from sim_outputs where (fault_flags & B'000001') = B'000001'; select count (*) from sim_outputs where (fault_flags & B'000010') = B'000010'; select count (*) from sim_outputs where (fault_flags & B'000100') = B'000100'; select count (*) from sim_outputs where (fault_flags & B'001000') = B'001000'; select count (*) from sim_outputs where (fault_flags & B'010000') = B'010000'; select count (*) from sim_outputs where (fault_flags & B'100000') = B'100000'; select count (*) from sim_outputs where (fault_flags) = B'000000'; # 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); + + +# input_artifacts: +# - name: mult +# type: act +# source: file +# path: testbench.act + +# prepare: +# - module: testcase_generation +# inputs: +# design: mult +# outputs: +# tests: injection_tests +# generator: fork_based_set_injection +# victim-process: dut.mult +# hit-probability: 0.1 +# modes-per-fork: 1 +# coverage-certainty: 0.4 +# victim-coverage: 0.5 +# injection-windows: +# - begin: 1330 +# end: 11500 +# injection-duration: +# min: 100 +# max: 400 +# inject-undefined: false +# random-seed: 1234567 + +# deploy: +# - module: actsim +# inputs: +# design_file: mult +# sim_configs: injection_tests +# outputs: +# sim_outputs: sim_result +# top: tb \ No newline at end of file