diff options
| -rw-r--r-- | evaluation.tex | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/evaluation.tex b/evaluation.tex index 26917a0..7b85eff 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -177,6 +177,9 @@ By looking at the median, when division/modulo operations are enabled, we see th \subsection{RQ4: How effective is the correctness theorem in \vericert{}?} +\definecolor{fuzzred}{HTML}{fb9a99} +\definecolor{fuzzyellow}{HTML}{fed9a6} +\definecolor{fuzzgreen}{HTML}{b2df8a} \begin{figure} \centering %\begin{tabular}{cccc}\toprule @@ -188,10 +191,10 @@ By looking at the median, when division/modulo operations are enabled, we see th \draw[-latex] (13,0.5) to (13,0.25); \draw[-latex] (55,0.5) to (55,0.25); \draw[-latex] (99.85,0.5) to (99.85,0.25); - \draw[green, line width=5mm] (0,0) to (26.0,0); - \draw[yellow, line width=5mm] (26.0,0) to (99.7,0); - \draw[red, line width=5mm] (99.7,0) to (100,0); - \node[anchor=south] at (13,0.5) {40379 passing (26.00\%)}; + \draw[fuzzgreen, line width=5mm] (0,0) to (26.0,0); + \draw[fuzzyellow, line width=5mm] (26.0,0) to (99.7,0); + \draw[fuzzred, line width=5mm] (99.7,0) to (100,0); + \node[anchor=south] at (13,0.5) {40379 passes (26.00\%)}; \node[anchor=south] at (55,0.5) {114849 compile-time errors (73.97\%)}; \node[anchor=south] at (100,0.5) {39 run-time errors (0.03\%)}; \end{tikzpicture} |