From 6405ebbcf385b0a135fa216928eb11f864bd2d95 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 7 Jun 2016 15:32:40 +0200
Subject: [PATCH] benchmark visualize: but legend next to graph
---
benchmark/visualize.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/benchmark/visualize.py b/benchmark/visualize.py
index 3456b4b4b..fcb59991a 100755
--- a/benchmark/visualize.py
+++ b/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)')
--
GitLab