diff options
Diffstat (limited to 'evaluation.tex')
| -rw-r--r-- | evaluation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evaluation.tex b/evaluation.tex index 7b85eff..0077246 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -177,8 +177,8 @@ 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{fuzzred}{HTML}{f8514f} +\definecolor{fuzzyellow}{HTML}{fee4bf} \definecolor{fuzzgreen}{HTML}{b2df8a} \begin{figure} \centering |