From 4235ac276a50b2840dc0e4ea169107f6d13f691c Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Mon, 27 Sep 2021 22:11:18 +0200 Subject: [PATCH] Auto update --- design.html | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/design.html b/design.html index fc0892a1..8d18c00a 100644 --- a/design.html +++ b/design.html @@ -56,8 +56,7 @@ quote Simplicity is prerequisite for reliability. 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, -and it's run after any code change using Travis-CI. +The test has a code coverage of over 90%, measured with lcov.