fabian/fault_injection_async25_paper
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added command to pull info out

Browse source
This commit is contained in:
Fabian Posch 2025-02-04 04:53:00 +01:00
parent d977d9be64
commit a3f88e2129
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
test-circuit/injection_test.yml
View file

@ -16,7 +16,7 @@ prepare:
hit-probability: 0.8 hit-probability: 0.8
modes-per-fork: 1 modes-per-fork: 1
coverage-certainty: 0.4 coverage-certainty: 0.4
victim-coverage: 1 victim-coverage: 0.05
injection-windows: injection-windows:
- begin: 240 - begin: 240
end: 1200 end: 1200
@ -35,5 +35,5 @@ deploy:
sim_outputs: sim_result sim_outputs: sim_result
top: tb top: tb
# select count (*) from sim_outputs where (fault_flags & B'100000') = B'100000'; # 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); # 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);