diff --git a/design.html b/design.html index 3b35584f..508a244d 100644 --- a/design.html +++ b/design.html @@ -52,8 +52,10 @@ following the Dijkstra quote Simplicity is prerequisite for reliability.
-Extensive and automated tests with the runtime checker valgrind and -the static analyzer clang are done to ensure the correctness of the final application. +Extensive and automated tests with the runtime checker valgrind (memcheck/helgrind/drd), +the Google sanitizer (asan/msan/tsan/ubsan) +and the clang static analyzer +are done to ensure the correctness of the final application. The test has a code coverage of over 90%, measured with lcov.