3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00

Add MSAN_SYMBOLIZER_PATH to the environment to get symbolization

This commit is contained in:
Everett Maus 2019-08-12 15:56:50 -07:00
parent ec36e232e5
commit 8e3f5b0c1d

View file

@ -5,7 +5,6 @@ variables:
ubsanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=undefined" CFLAGS="${CFLAGS} -fsanitize=undefined"'
msanEnv: 'CC=clang LDFLAGS="-L../libcxx/libcxx_msan/lib -lc++abi -Wl,-rpath=../libcxx/libcxx_msan/lib" CXX=clang++ CXXFLAGS="${CXXFLAGS} -stdlib=libc++ -fsanitize-memory-track-origins -fsanitize=memory -fPIE -fno-omit-frame-pointer -g -O2" CFLAGS="${CFLAGS} -stdlib=libc -fsanitize=memory -fsanitize-memory-track-origins -fno-omit-frame-pointer -g -O2"'
jobs:
- job: "LinuxPythonDebug"
@ -57,6 +56,7 @@ jobs:
mkdir build
cd build
$(cmdLine)
export MSAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.8/bin/llvm-symbolizer
ninja
ninja test-z3
cd ..