tree 214cc94307e4edff8bcfc63aa3ccb53cb9914074
parent b38e6d49c0f9df7b9b468910acf9bc08d76281a1
author Davide Pesavento <davide.pesavento@lip6.fr> 1502822218 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1502937708 -0400

ci: enable LeakSanitizer

Change-Id: I097be7743f8541bf06bae1449449a903552ef3f6