fuzz: [fix] workaround for model bug that causes long arch traces

(cherry picked from commit 81b9d5d)
microsoft · Aug 7, 2024 · db5470c · db5470c
1 parent a3c1c24
commit db5470c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fuzzer.py b/src/fuzzer.py
@@ -656,7 +656,7 @@ def is_architectural_mismatch(self, test_case: TestCase, violation: Violation) -
         # Collect architectural model traces
         ctraces = self.arch_model.trace_test_case(inputs, CONF.model_max_nesting)
         for ctrace in ctraces:
-            model_regs.append(ctrace.raw)
+            model_regs.append([v % (2**64 - 1) for v in ctrace.raw[:6]])
 
         # Debug outputs
         self.LOG.dbg_fuzzer_dump_architectural_traces(hardware_regs, model_regs)