diff --git a/design.html b/design.html index fe40040c..85c9214a 100644 --- a/design.html +++ b/design.html @@ -57,7 +57,7 @@ Extensive and automated tests with the runtime checker Google Sanitizers are done to ensure the correctness of the final application. The test has a code coverage of over 90%, measured with lcov, -and it's run after any code change using Travis-CI.