summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--eval.tex2
-rw-r--r--main.tex2
2 files changed, 2 insertions, 2 deletions
diff --git a/eval.tex b/eval.tex
index fe8032b..cfa46e0 100644
--- a/eval.tex
+++ b/eval.tex
@@ -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}
diff --git a/main.tex b/main.tex
index 2862f13..146983d 100644
--- a/main.tex
+++ b/main.tex
@@ -23,7 +23,7 @@
\newcommand\totaltestcases{6700}
\newcommand\totaltestcasefailures{272}
-\newcommand\numuniquebugs{6}
+\newcommand\numuniquebugs{7}
\newcommand\vivadotestcases{3645}
\theoremstyle{definition}