Skip to content

Commit

Permalink
Fix unintended cast of large integer registers to floats
Browse files Browse the repository at this point in the history
The call to pandas.concat in write_output_wrt_goldenrun() causes large
integer registers values to be cast to floats. Since the register values
do not have to be deduplicated, do not process them with
write_output_wrt_goldenrun().

See also Fraunhofer-AISEC#41 and Fraunhofer-AISEC#42
  • Loading branch information
lukasauer committed Aug 2, 2022
1 parent 6fa523f commit 0d9ebc2
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions faultclass.py
Original file line number Diff line number Diff line change
Expand Up @@ -525,9 +525,12 @@ def readout_data(
for (flag, keyword, data) in datasets:
if not flag:
continue
output[keyword] = write_output_wrt_goldenrun(
keyword, data, goldenrun_data
)
if keyword.endswith("registers"):
output[keyword] = data.to_dict("records")
else:
output[keyword] = write_output_wrt_goldenrun(
keyword, data, goldenrun_data
)

if tbfaulted == 1:
output["tbfaulted"] = tbfaultedlist
Expand Down

0 comments on commit 0d9ebc2

Please sign in to comment.