Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful
authorAugustin Degomme <adegomme@gmail.com>
Sun, 27 Mar 2022 19:11:11 +0000 (19:11 +0000)
committerAugustin Degomme <adegomme@gmail.com>
Sun, 27 Mar 2022 19:11:11 +0000 (19:11 +0000)
tools/jenkins/Coverage.sh

index fdc66be..91c8915 100755 (executable)
@@ -110,7 +110,7 @@ if [ -f Testing/TAG ] ; then
 
   cd "$WORKSPACE"
   #convert all gcov reports to xml cobertura reports
-  gcovr -r . --xml-pretty -e teshsuite -e examples/smpi/NAS -e examples/smpi/mc -u -o "$BUILDFOLDER"/xml_coverage.xml
+  gcovr -r . --xml-pretty -e teshsuite -e build/MBI -e examples/smpi/NAS -e examples/smpi/mc -u -o "$BUILDFOLDER"/xml_coverage.xml
   xsltproc "$WORKSPACE"/tools/jenkins/ctest2junit.xsl build/Testing/"$( head -n 1 < build/Testing/TAG )"/Test.xml > CTestResults_memcheck.xml
 
   #generate sloccount report