mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

[TravisCI] Add ASan configuration

Browse source
This commit is contained in:
Dan Liew 2017-10-06 19:52:25 +01:00
parent 157c8064e8
commit 11f7298c52
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.travis.yml
View file

@ -17,8 +17,13 @@ env:
###############################################################################
# Ubuntu 16.04 LTS
###############################################################################
# FIXME: We should probably do unoptimized build to avoid the compiler's
# optimizer removing bad behaviour. However we can't run the unit tests
# if we do a Debug build because they are too slow.
# 64-bit UBSan build
- LINUX_BASE=ubuntu_16.04 C_COMPILER=/usr/bin/clang-3.9 CXX_COMPILER=/usr/bin/clang++-3.9 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo UBSAN_BUILD=1
# 64-bit ASan build
- LINUX_BASE=ubuntu_16.04 C_COMPILER=/usr/bin/clang-3.9 CXX_COMPILER=/usr/bin/clang++-3.9 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo ASAN_BUILD=1
# 64-bit GCC 5.4 RelWithDebInfo
- LINUX_BASE=ubuntu_16.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo