benchmark visualize: but legend next to graph

benchmark/visualize.py

@@ -29,9 +29,9 @@ results = list(results)
 timings = list(map(lambda t: t[:-2] if t.endswith(".v") else t, args.timings))
 for timing in timings:
     plt.plot(list(map(lambda r: r.times.get(timing), results)), marker=next(markers), markersize=8)
-plt.legend(timings, loc='upper left')
+plt.legend(timings, loc = 'upper left', bbox_to_anchor=(1.05, 1.0))
 plt.xticks(range(len(results)), list(map(lambda r: r.commit[:7], results)), rotation=70)
-plt.subplots_adjust(bottom=0.2) # more space for the commit labels
+plt.subplots_adjust(bottom=0.2, right=0.7) # more space for the commit labels and legend
 
 plt.xlabel('Commit')
 plt.ylabel('Time (s)')