Exclude valgrind ctime test from coverage reports

Author: real-or-random

.cirrus.yml

@@ -70,7 +70,7 @@ task:
     - ./ci/cirrus.sh
   << : *CAT_LOGS
   gcovr_script:
-    - gcovr --print-summary --keep --exclude 'src/bench*' --html --html-title "${CIRRUS_CHANGE_IN_REPO:0:7}, STATICPRECOMPUTATION=$STATICPRECOMPUTATION, WIDEMUL=$WIDEMUL" --html-details -o index.html
+    - gcovr --print-summary --keep --exclude 'src/bench*' --exclude 'src/valgrind_ctime_test.c' --html --html-title "${CIRRUS_CHANGE_IN_REPO:0:7}, STATICPRECOMPUTATION=$STATICPRECOMPUTATION, WIDEMUL=$WIDEMUL" --html-details -o index.html
   raw_gcov_artifacts:
     path: "**/**.gc??"
   coverage_report_artifacts:

README.md

@@ -92,12 +92,12 @@ Run the tests:
 
 To create a report, `gcovr` is recommended, as it includes branch coverage reporting:
 
-    $ gcovr --exclude 'src/bench*' --print-summary
+    $ gcovr --exclude 'src/bench*' --exclude 'src/valgrind_ctime_test.c' --print-summary
 
 To create a HTML report with coloured and annotated source code:
 
     $ mkdir -p coverage
-    $ gcovr --exclude 'src/bench*' --html --html-details -o coverage/coverage.html
+    $ gcovr --exclude 'src/bench*' --exclude 'src/valgrind_ctime_test.c' --html --html-details -o coverage/coverage.html
 
 Reporting a vulnerability
 ------------