Update on Overleaf.

1 files changed, 2 insertions, 2 deletions

diff --git a/evaluation.tex b/evaluation.tex
index c5b09ff..8981f11 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -88,7 +88,7 @@ In addition, we initial the input arrays and check the output arrays of all prog
   
 \end{axis}
 \end{tikzpicture}
-\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by \legup{}.}
+\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by \legup{}, where the diagonal represents $y=x$.}
 \label{fig:comparison_time}
 \end{figure}
 
@@ -126,7 +126,7 @@ Cycle count is one factor in calculating execution latency. The other factor is
   table [x expr=(\thisrow{legupluts}/427200*100), y expr=(\thisrow{vericertluts}/427200*100), col sep=comma]
   {results/poly.csv};
   
-  \addplot[dashed, domain=0:1]{x};
+%   \addplot[dashed, domain=0:1]{x};
   
 \end{axis}
 \end{tikzpicture}