diff --git a/design.html b/design.html index a50d64cb..c16a8bd3 100644 --- a/design.html +++ b/design.html @@ -53,15 +53,15 @@ quote Simplicity is prerequisite for reliability.
-Extensive and automated tests with the runtime checker valgrind -and with the Google sanitizer +Extensive and automated tests with the runtime checker Valgrind +and with the Google Sanitizers are done to ensure the correctness of the final application. The test has a code coverage of over 90%, measured with lcov.
The source code is also verified with the -coverity scan +Coverity Scan and clang static analyzers.