diff --git a/benchmark/visualize.py b/benchmark/visualize.py index 3456b4b4b9467ce30fc0e8e84efd25940d5900e2..fcb59991afad2f5edae41d6b9405fda2cad0df72 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)')