diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/tools/report_gen/run_improvments_tables.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/resources/tools/report_gen/run_improvments_tables.py b/resources/tools/report_gen/run_improvments_tables.py index 0432644d8c..6b4953c00b 100755 --- a/resources/tools/report_gen/run_improvments_tables.py +++ b/resources/tools/report_gen/run_improvments_tables.py @@ -116,7 +116,7 @@ def write_line_to_file(file_handler, item): mean = "" if item["mean"] is None else "{:.1f}".format(item["mean"]) stdev = "" if item["stdev"] is None else "{:.1f}".format(item["stdev"]) - change = "" if item["change"] is None else "{:.1f}%".format(item["change"]) + change = "" if item["change"] is None else "{:.0f}%".format(item["change"]) file_handler.write("{},{},{},{}\n".format(item["old"], mean, stdev, change)) @@ -175,7 +175,8 @@ def main(): mean = float(mean) / 1000000 old = float(item["last_old"]) item["mean"] = mean - item["change"] = ((mean - old) / old) * 100 + item["change"] = ((round(mean, 1) - round(old, 1)) / round(old, 1))\ + * 100 item["stdev"] = stdev / 1000000 # Sort the list, key = change |