Fix emoji bug

Author: OliverRietmann

.github/scripts/csv_to_md.py

@@ -11,33 +11,29 @@ def get_2d_list(csv_filename):
   with open(csv_filename) as csv_file:
     csv_reader = csv.reader(csv_file)
     next(csv_reader)
-    return [row for row in csv_reader]
+    return [[str(name), float(mean), float(stdev)] for name, mean, stdev in csv_reader]
 
 table_baseline = get_2d_list(args.baseline)
 table_current = get_2d_list(args.current)
 
-pretty = lambda x : f'{x:.1f}'
-
-def get_emoji(difference, stdev):
+def get_emoji(d, stdev):
   z = 1.96 # 95% confidence interval
-  if difference < z * stdev:
+  if d < -z * stdev:
     return ':green_circle:'
-  elif difference > z * stdev:
+  elif d > z * stdev:
     return ':red_circle:'
   else:
     return ':white_circle:'
 
 table = []
-for current, baseline in zip(table_current, table_baseline):
-  assert(current[0] == baseline[0])
-  name = current[0]
-  time = int(float(current[1]))
-  stdev = pretty(float(current[2]))
-  d = float(baseline[1]) - float(current[1])
-  difference = int(d)
-  percent = pretty(0 if float(baseline[1]) == 0.0 else 100 * d / float(baseline[1]))
-  emoji = get_emoji(d, float(current[2]))
-  table.append([name, time, stdev, difference, percent, emoji])
+for baseline, current in zip(table_baseline, table_current):
+  baseline_name, baseline_mean, _ = baseline
+  name, mean, stdev = current
+  assert(baseline_name == name)
+  diff = baseline_mean - mean
+  impact = 0.0 if stdev == 0.0 else diff / stdev
+  emoji = get_emoji(diff, stdev)
+  table.append([name, int(mean), f'{stdev:.2f}', int(diff), f'{impact:.2f}', emoji])
 
-header = ["name", "time", "stdev", "difference", "percent", ""]
+header = ['name', 'mean (ms)', 'stdev \u03C3', 'diff \u0394', '\u0394 / \u03C3', '']
 print(tab.tabulate(table, header, tablefmt="github"))