ci: enable LeakSanitizer

Change-Id: If9472204a11cef3e4b4e743ac08d7a0ecf173ef6
This commit is contained in:
Davide Pesavento committed 2019-03-20 01:08:00 -04:00
1 parent 5188f31d50
commit 5c39ba1b6e
1 file changed
-1
-1
View File
@@ -31,7 +31,6 @@ ut_log_args() {
}
ASAN_OPTIONS="color=always"
ASAN_OPTIONS+=":detect_leaks=false"
ASAN_OPTIONS+=":detect_stack_use_after_return=true"
ASAN_OPTIONS+=":check_initialization_order=true"
ASAN_OPTIONS+=":strict_init_order=true"