diff options
Diffstat (limited to 'eval.tex')
-rw-r--r-- | eval.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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} |