diff options
-rw-r--r-- | eval.tex | 2 | ||||
-rw-r--r-- | main.tex | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -56,7 +56,7 @@ Hence, we reduce many of the failing test-cases in an effort to identify unique Xilinx Vivado HLS v2019.1 & $\ge 2$\\ LegUp HLS & $\ge 3$\\ Intel i++ & $\ge 1$\\ - Bambu HLS & $\ge 1$\\ + Bambu HLS & $\ge 2$\\ \bottomrule \end{tabular} \end{table} @@ -23,7 +23,7 @@ \newcommand\totaltestcases{6700} \newcommand\totaltestcasefailures{272} -\newcommand\numuniquebugs{6} +\newcommand\numuniquebugs{7} \newcommand\vivadotestcases{3645} \theoremstyle{definition} |