From c08e70eaa6da6258967c3f4feb600369680d3578 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Sun, 10 Jan 2016 22:51:15 +0100
Subject: [PATCH] Auto update

---
 design.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/design.html b/design.html
index c16a8bd3..fe40040c 100644
--- a/design.html
+++ b/design.html
@@ -56,7 +56,8 @@ quote <i>Simplicity is prerequisite for reliability</i>.
 Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">Valgrind</a>
 and with the <a href="https://github.com/google/sanitizers">Google Sanitizers</a>
 are done to ensure the correctness of the final application.
-The test has a <a href="cov/">code coverage of over 90%</a>, measured with <a href="http://ltp.sourceforge.net/coverage/lcov.php">lcov</a>.
+The test has a <a href="cov/">code coverage of over 90%</a>, measured with <a href="http://ltp.sourceforge.net/coverage/lcov.php">lcov</a>,
+and it's run after any code change using <a href="https://travis-ci.org/amadvance/snapraid>Travis-CI</a>.
 </p>
 
 <p>