From 2deaf7a301044406784226c4aa77829c72fe8fdd Mon Sep 17 00:00:00 2001
From: Denis Blank <denis.blank@outlook.com>
Date: Mon, 29 Jan 2018 00:36:08 +0100
Subject: [PATCH] Update the ASan and UBSan flags

---
 tools/travis-ci.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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