Skip to content

Commit

Permalink
controller: Filter non-wildcard faults if in exclude
Browse files Browse the repository at this point in the history
  • Loading branch information
aewag committed Apr 27, 2023
1 parent 9b0803b commit 5d3e273
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions controller.py
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,13 @@ def build_fault_list(conf_list, combined_faults, ret_faults):
)

for faddress in build_ranges(faultdev["fault_address"], wildcard_fault):
# At this time we can only filter "explicit" fault addresses (non-wildcard)
# Wildcard faults have to be filtered after the execution of the goldenrun
# to be aware of the executed instructions (within generate_wildcard_faults)
if any(faddress in region for region in faddress_exclude):
clogger.debug(f"Exclude {faddress_exclude} filtered {hex(faddress)}")
continue

for flifespan in build_ranges(faultdev["fault_lifespan"]):
for fmask in build_ranges(faultdev["fault_mask"]):
for taddress in build_ranges(faultdev["trigger_address"]):
Expand Down

0 comments on commit 5d3e273

Please sign in to comment.