From 300fd6a94155b86f0bcba3781f6e59aed633418a Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Wed, 13 Jan 2016 19:35:59 +0100
Subject: [PATCH] Auto update

---
 design.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/design.html b/design.html
index 85c9214a..d022e531 100644
--- a/design.html
+++ b/design.html
@@ -61,10 +61,10 @@ and it's run after any code change using <a href="https://travis-ci.org/amadvanc
 </p>
 
 <p>
-The source code is also verified with the
+SnapRAID is also verified with the
 <a href="https://scan.coverity.com/projects/snapraid">Coverity Scan</a>
-and <a href="http://clang-analyzer.llvm.org/">clang</a>
-static analyzers.
+and <a href="http://clang-analyzer.llvm.org/">clang</a> static analyzers,
+and with the <a href="http://lcamtuf.coredump.cx/afl/">American Fuzzy Lop</a> fuzzy tester.
 </p>
 
 <p>