diff --git a/design.html b/design.html index b2ebeec6..a50d64cb 100644 --- a/design.html +++ b/design.html @@ -53,8 +53,8 @@ quote Simplicity is prerequisite for reliability.

-Extensive and automated tests with the runtime checker valgrind, -the Google sanitizer. +Extensive and automated tests with the runtime checker valgrind +and with the Google sanitizer are done to ensure the correctness of the final application. The test has a code coverage of over 90%, measured with lcov.