diff --git a/benchmark/visualize.py b/benchmark/visualize.py index 2b017ee92f82ad954cb8e1c9c77f4d953eaab3c2..3456b4b4b9467ce30fc0e8e84efd25940d5900e2 100755 --- a/benchmark/visualize.py +++ b/benchmark/visualize.py @@ -29,7 +29,7 @@ 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='lower left') +plt.legend(timings, loc='upper 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