From 83bc9bb0fb70d36b61dbe2f23d216b0fa09f36f8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Sun, 17 Jan 2021 14:53:20 +0000
Subject: Update on Overleaf.

---
 eval.tex | 2 +-
 main.tex | 2 +-
 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}
-- 
cgit