From 89a6940481b95b096fc6790184737f3c4ff7b3d7 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 13 Aug 2021 15:30:20 +0200
Subject: Add nicer colours to fuzz diagram

---
 evaluation.tex | 11 +++++++----
 1 file 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}
-- 
cgit