diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-09-14 21:46:31 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-09-14 21:46:40 +0000 |
commit | 3aebaf5280a368255a3dfd9b7a66448fe74b133a (patch) | |
tree | 312de6d459a1a1aba67f50cf70fb19d7a29a9495 | |
parent | 114f25e953f0a417ba36803c3eae07ec95ac8821 (diff) | |
download | fccm21_esrhls-3aebaf5280a368255a3dfd9b7a66448fe74b133a.tar.gz fccm21_esrhls-3aebaf5280a368255a3dfd9b7a66448fe74b133a.zip |
Update on Overleaf.
-rw-r--r-- | eval_rewrite.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eval_rewrite.tex b/eval_rewrite.tex index 4ad0d5a..138be35 100644 --- a/eval_rewrite.tex +++ b/eval_rewrite.tex @@ -21,7 +21,7 @@ \node at (-7.3,1) {\Huge 162 / \textcolor{red}{6}}; \node at (-7.3,5.2) {\Huge 0 / \textcolor{red}{5}}; \node at (-7.3,3.8) {\Huge 0 / \textcolor{red}{0}}; - \node at (-13.5,-0.5) {\Huge 5856}; + \node at (-13.6,-0.5) {\Huge 5856}; \end{tikzpicture} } \caption{Venn diagram showing the bug failures in each tool out of 6700 test cases that were run. Overlapping regions mean that the test cases failed in all those tools. The numbers in red represent the number of test cases that timed out after two hours.}\label{fig:existing_tools} |