Auto update

This commit is contained in:
Andrea Mazzoleni 2016-01-10 21:42:35 +01:00
parent ce5d44fde3
commit 658da02daa

View file

@ -53,15 +53,15 @@ quote <i>Simplicity is prerequisite for reliability</i>.
</p>
<p>
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 sanitizer</a>
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>.
</p>
<p>
The source code is also verified with the
<a href="https://scan.coverity.com/projects/snapraid">coverity scan</a>
<a href="https://scan.coverity.com/projects/snapraid">Coverity Scan</a>
and <a href="http://clang-analyzer.llvm.org/">clang</a>
static analyzers.
</p>