Make the paper fit again

1 files changed, 0 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index f5bc5c5..5732d81 100644
--- a/main.tex
+++ b/main.tex
@@ -61,7 +61,6 @@ As such, HLS tools are increasingly relied upon. But are they trustworthy?
 
 We have subjected four widely used HLS tools -- LegUp, Xilinx Vivado HLS, the Intel HLS Compiler and Bambu -- to a rigorous fuzzing campaign using thousands of random, valid C programs that we generated using a modified version of the Csmith tool. For each C program, we compiled it to a hardware design using the HLS tool under test and checked whether that hardware design generates the same output as an executable generated by the GCC compiler. When discrepancies arose between GCC and the HLS tool under test, we reduced the C program to a minimal example in order to zero in on the potential bug. Our testing campaign has revealed that all four HLS tools can be made to generate wrong designs from valid C programs and one tool could be made to crash; this underlines the need for these increasingly trusted tools to be more rigorously engineered.
 Out of \totaltestcases{} test-cases, we found \totaltestcasefailures{} programs that caused at least one tool to fail, out of which we were able to discern at least \numuniquebugs{} unique bugs.
-
 \end{abstract}
 
 \input{intro}