Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
don't wrash with 0 sized files
authorAugustin Degomme <degomme@wasabi>
Tue, 8 Jan 2019 14:01:23 +0000 (15:01 +0100)
committerAugustin Degomme <degomme@wasabi>
Tue, 8 Jan 2019 14:01:23 +0000 (15:01 +0100)
commit2697ad5f3ae4ab2c6e9370e0684bf3245ca50dd5
tree35d997000c08b54e3a5c7769e8042c2e40da3147
parent4b9e8701e4d7cb2a6a8b577af830c96f3d303f86
don't wrash with 0 sized files
jacoco is failing as of now: probably we don't close the jvm properly, and the filling of the file is never triggered
tools/jenkins/Coverage.sh