From 1a3c7c5c047c61f8331ebc1ec3182e1088cc15d2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Tue, 15 Sep 2020 10:31:59 +0000
Subject: Update on Overleaf.

---
 eval.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eval.tex b/eval.tex
index d2d7272..8d42ce3 100644
--- a/eval.tex
+++ b/eval.tex
@@ -40,7 +40,7 @@
     Intel i++ & $\ge 1$\\
     \bottomrule
   \end{tabular}
-  \caption{Unique bugs found in each tool.  The $\ge$ indicates a lower bound on the number of unique bugs that were found, which correspond to unique minimal test cases. %\JW{is `all versions' correct here? and should we add version numbers like in the Venn?}\YH{Yes it is actually correct here, I don't mind adding the specific version either though}\JW{Ok let's leave it as-is.}
+  \caption{Unique bugs found in each tool.  %\JW{is `all versions' correct here? and should we add version numbers like in the Venn?}\YH{Yes it is actually correct here, I don't mind adding the specific version either though}\JW{Ok let's leave it as-is.}
   }
   \label{tab:unique_bugs}
 \end{table}
-- 
cgit