Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename ASAN suppressions file.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 1 Feb 2020 13:14:50 +0000 (14:14 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 1 Feb 2020 21:41:45 +0000 (22:41 +0100)
commit2c89244eb0c2a35bc594e9af457d4a03ed0db184
tree56b98ed88005aa6be3b4b9a91716086e1b55cb9a
parentc8479964a8abe6f40b37c0c3c31bd280a33039ae
Rename ASAN suppressions file.

Existing suppressions seem useless nowadays, comment them.
MANIFEST.in
tools/CMakeLists.txt
tools/address_sanitizer.supp [moved from tools/sanitizers.supp with 63% similarity]
tools/jenkins/Sanitizers.sh