Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add suppressions for Asan when run on jenkins.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 11 Feb 2019 22:11:40 +0000 (23:11 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 11 Feb 2019 22:28:23 +0000 (23:28 +0100)
commit89cc59f43ef8c56f5db900472981957d3a782708
tree2cb5d1d78ccbc0e0e2e7da5f005e7d9600853cc9
parent2a4e0832d58c384b44501fea364c650327b830f9
Add suppressions for Asan when run on jenkins.

Ideally, ASAN_OPTIONS should be set by ctest but I didn't find how.
tools/CMakeLists.txt
tools/jenkins/Sanitizers.sh
tools/sanitizers.supp [new file with mode: 0644]