From: degomme <augustin.degomme@unibas.ch>
Date: Fri, 24 Jun 2016 13:44:25 +0000 (+0200)
Subject: Add sanitizers (address, thread, and undefined), to have new procrastination options... 
X-Git-Tag: v3_14~881
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f603241826db5fd6fa4fc263d578de9fa58c70d0?hp=f603241826db5fd6fa4fc263d578de9fa58c70d0

Add sanitizers (address, thread, and undefined), to have new procrastination options in ci.
---