Add nicer colours to fuzz diagram

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}