diff options
Diffstat (limited to 'eval_rewrite.tex')
| -rw-r--r-- | eval_rewrite.tex | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/eval_rewrite.tex b/eval_rewrite.tex index c8ce23b..e464997 100644 --- a/eval_rewrite.tex +++ b/eval_rewrite.tex @@ -7,9 +7,9 @@ \resizebox{0.47\textwidth}{!}{% \begin{tikzpicture} \draw (-14.5,7.65) rectangle (0,-1); - \draw[fill=vivado,fill opacity=0.5] (-4.4,4.4) ellipse (3.75 and 2.75); - \draw[fill=intel,fill opacity=0.5] (-10.2,4.4) ellipse (3.75 and 2.75); - \draw[fill=legup,fill opacity=0.5] (-7.3,2) ellipse (3.75 and 2.75); + \fill[vivado,fill opacity=0.5] (-4.4,4.4) ellipse (3.75 and 2.75); + \fill[intel,fill opacity=0.5] (-10.2,4.4) ellipse (3.75 and 2.75); + \fill[legup,fill opacity=0.5] (-7.3,2) ellipse (3.75 and 2.75); \draw[black] (-4.4,4.4) ellipse (3.75 and 2.75); % making the \draw[black] (-10.2,4.4) ellipse (3.75 and 2.75); % outlines \draw[black] (-7.3,2) ellipse (3.75 and 2.75); % fully opaque @@ -17,17 +17,17 @@ \node at (-4.4,6.3) {\Large\textsf{\textbf{Intel HLS}}}; \node at (-7.3,0) {\Large\textsf{\textbf{LegUp}}}; - \node at (-5.5,3) {\Huge 1 / \textcolor{red}{1}}; - \node at (-9.1,3) {\Huge 4 / \textcolor{red}{0}}; - \node at (-3,5) {\Huge 26 / \textcolor{red}{540}}; - \node at (-11.6,5) {\Huge 79 / \textcolor{red}{20}}; - \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 (-5.5,3) {\Huge 1 (\textcolor{red}{1})}; + \node at (-9.1,3) {\Huge 4 (\textcolor{red}{0})}; + \node at (-3,5) {\Huge 26 (\textcolor{red}{540})}; + \node at (-11.6,5) {\Huge 79 (\textcolor{red}{20})}; + \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.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} +\caption{A Venn diagram showing the number of 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 parentheses represent the number of test cases that timed out.}\label{fig:existing_tools} \end{figure} \begin{table} |