From f9b8bf62da0c3c5a05fec96fcdef2ecef410914c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 12 Apr 2021 18:59:21 +0100
Subject: Fix the plot

---
 evaluation.tex | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/evaluation.tex b/evaluation.tex
index ff62f87..4d6cd31 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -35,10 +35,15 @@ We configured Polybench's parameters so that only integer types are used, since
       ymin=0,
       xmin=-0.5,
       xmax=25.5,
+      legend pos=north west,
+      xlabel={Polybench Benchmarks},
+      ylabel={\vericert{} / \legup{} execution time ratio},
       ]
 
       \addplot+ table [x expr=\coordindex,y=v no nc,col sep=comma] {results/exec-time.csv};
+      \addlegendentry{LegUp w/o opt};
       \addplot+ table [x expr=\coordindex,y=v op,col sep=comma] {results/exec-time.csv};
+      \addlegendentry{LegUp};
 
       \draw (axis cs:-0.5,1) -- (axis cs:25.5,1);
 
-- 
cgit