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)
commit5ed3e0f2c9aa074fe4194055433be38e316659b2
tree3fd3050bd25fc164659decbde8468d6961b8a2b7
parent927ad570341edde0ea8f133b12562cbf46572139
ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful
tools/jenkins/Coverage.sh