Update on Overleaf.

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}