Update on Overleaf.

1 files changed, 10 insertions, 6 deletions

diff --git a/method.tex b/method.tex
index 701a3e3..052f8b3 100644
--- a/method.tex
+++ b/method.tex
@@ -4,12 +4,16 @@
 
 This section describes how we conducted our testing campaign, the overall flow of which is shown in Figure~\ref{fig:method:toolflow}.
 \input{tool-figure}
-\begin{itemize}
-\item In~\S\ref{sec:method:csmith}, we describe how we configure Csmith to generate HLS-friendly random programs for our testing campaign.
-\item In~\S\ref{sec:method:annotate}, we discuss how we augment those random programs with directives and the necessary configuration files for HLS compilation. 
-\item In~\S\ref{sec:method:testing}, we discuss how we set up compilation and co-simulation checking for the three HLS tools under test. 
-\item Finally, in~\S\ref{sec:method:reduce}, we discuss how we reduce problematic programs in order to obtain minimal examples of bugs.
-\end{itemize}
+%\begin{itemize}
+%\item 
+In~\S\ref{sec:method:csmith}, we describe how we configure Csmith to generate HLS-friendly random programs for our testing campaign.
+%\item 
+In~\S\ref{sec:method:annotate}, we discuss how we augment those random programs with directives and the necessary configuration files for HLS compilation. 
+%\item 
+In~\S\ref{sec:method:testing}, we discuss how we set up compilation and co-simulation checking for the three HLS tools under test. 
+%\item 
+Finally, in~\S\ref{sec:method:reduce}, we discuss how we reduce problematic programs in order to obtain minimal examples of bugs.
+%\end{itemize}
 
 % How we configure Csmith so that it only generates HLS-friendly programs.
 % \item How we process the programs generated by Csmith to add in labels on loops etc.