summaryrefslogtreecommitdiffstats
path: root/eval.tex
diff options
context:
space:
mode:
Diffstat (limited to 'eval.tex')
-rw-r--r--eval.tex2
1 files changed, 1 insertions, 1 deletions
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}