From 5d3e2737c00fc3ca79698252e5770b0a4b69491d Mon Sep 17 00:00:00 2001 From: Alexander Wagner Date: Mon, 27 Mar 2023 17:25:55 +0200 Subject: [PATCH] controller: Filter non-wildcard faults if in exclude --- controller.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/controller.py b/controller.py index a6e8870..1de8833 100755 --- a/controller.py +++ b/controller.py @@ -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"]):