diff --git a/tools/travis-ci.sh b/tools/travis-ci.sh index a53fc37..7fbcfc6 100644 --- a/tools/travis-ci.sh +++ b/tools/travis-ci.sh @@ -47,8 +47,9 @@ function renew_build { } if [[ $CXX == *"clang"* ]]; then - LSAN_OPTIONS=verbosity=1:log_threads=1 - ASAN_OPTIONS=verbosity=1:abort_on_error=1 + LSAN_OPTIONS=verbosity=1:log_threads=1:abort_on_error=1 + ASAN_OPTIONS=verbosity=1:log_threads=1:abort_on_error=1 + UBSAN_OPTIONS=print_stacktrace=1:symbolize=1:halt_on_error=1:print_summary=1 # Build the test suite with various sanitizers: if [ $WITH_AWAIT != "ON" ]; then