Auto update

This commit is contained in:
Andrea Mazzoleni 2016-01-10 21:11:26 +01:00
parent 493a91f0c6
commit 11fca7402b

View file

@ -52,8 +52,10 @@ following the <a href="http://en.wikipedia.org/wiki/Edsger_W._Dijkstra">Dijkstra
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
the static analyzer <a href="http://clang-analyzer.llvm.org/">clang</a> are done to ensure the correctness of the final application.
Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">valgrind (memcheck/helgrind/drd)</a>,
the <a href="https://github.com/google/sanitizers">Google sanitizer (asan/msan/tsan/ubsan)</a>
and the <a href="http://clang-analyzer.llvm.org/">clang static analyzer</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>