commit cf14807f7de5f2a0b5a8605aac78baece38f87ad
author Davide Pesavento <davidepesa@gmail.com> Sat Nov 06 19:38:01 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Nov 06 19:38:01 2021 -0400
tree 4e59785d04a60cd64df3ae265a2bdd808dbfc8d0
parent 7bc3d438e74a509ac0a46690c20c14280973ceda

ci: add code coverage reporting via gcovr

Change-Id: Idc442d4e960360f0c82bcfda0bc8c97004b5d0aa

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index 33238e2..2908b17 100755
--- a/.jenkins.d/30-coverage.sh
+++ b/.jenkins.d/30-coverage.sh
@@ -2,6 +2,17 @@
 set -ex
 
 if [[ $JOB_NAME == *"code-coverage" ]]; then
+    # Generate an XML report (Cobertura format) and a detailed HTML report using gcovr
+    # Note: trailing slashes are important in the paths below. Do not remove them!
+    gcovr -j$WAF_JOBS \
+          --object-directory build \
+          --filter src/ \
+          --exclude-throw-branches \
+          --exclude-unreachable-branches \
+          --print-summary \
+          --html-details build/gcovr/ \
+          --xml build/coverage.xml
+
     # Generate a detailed HTML report using lcov
     lcov --quiet \
          --capture \