merge

Author: OliverRietmann

.github/scripts/merge_runs.py

@@ -12,16 +12,19 @@
 with open(args.input) as csv_file:
   csv_reader = csv.reader(csv_file)
   next(csv_reader)
-  for name, time, _, _ in csv_reader:
+  for row in csv_reader:
+    name = row[2]
+    time = float(row[3])
     if name in time_dict.keys():
-      time_dict[name].append(float(time))
+      time_dict[name].append(time)
     else:
-      time_dict[name] = [float(time)]
+      time_dict[name] = [time]
 
 data = [["name", "time", "stdev"]]
 for name, time_list in time_dict.items():
   mean = statistics.mean(time_list[args.discard:])
-  stdev = statistics.stdev(time_list[args.discard:])
+  runs = len(time_list[args.discard:])
+  stdev = 0.0 if runs == 1 else statistics.stdev(time_list[args.discard:])
   data.append([name, mean, stdev])
 
 with open(args.output, 'w') as csv_file: