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.8
    modes-per-fork: 1
    coverage-certainty: 0.4
    victim-coverage: 0.5
    injection-windows:
      - begin: 240
        end: 1200
    injection-duration:
      min: 10
      max: 40
    inject-undefined: false
    random-seed: 1234567

deploy:
  - module: actsim
    inputs:
      design_file: mult
      sim_configs: injection_tests
    outputs:
      sim_outputs: sim_result
    top: tb

# 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