From eb9569430fb9798040faae9bf203577c36ba6606 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 25 Feb 2016 14:57:30 +0100
Subject: [PATCH] benchmark visualizer: better position for the legend
---
benchmark/visualize.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/benchmark/visualize.py b/benchmark/visualize.py
index 5a2990cfb..d796cdf3e 100755
--- a/benchmark/visualize.py
+++ b/benchmark/visualize.py
@@ -22,7 +22,7 @@ markers = itertools.cycle([(3, 0), (3, 0, 180), (4, 0), (4, 0, 45), (8, 0)])
for timing in timings:
plt.plot(list(map(lambda r: r.times.get(timing), results)), marker=next(markers), markersize=8)
-plt.legend(timings)
+plt.legend(timings, loc='lower left')
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
--
GitLab