mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 19:05:51 +00:00
Code Activity

[TravisCI] Don't run Python regression tests under ASan for now.

Browse source 
The script that runs them doesn't propagate LD_PRELOAD and so the
tests fail.
This commit is contained in:
Dan Liew 2017-10-16 13:21:03 +01:00
parent a1b6316e2e
commit 7c99721b60
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
contrib/ci/scripts/test_z3_system_tests.sh
View file

@ -57,6 +57,11 @@ if [ "X${PYTHON_BINDINGS}" = "X1" ]; then
# FIXME: We need to build libz3 with a shared UBSan runtime for the bindings
# to work.
echo "FIXME: Skipping python binding tests when building with UBSan"
elif [ "X${ASAN_BUILD}" = "X1" ]; then
# FIXME: The `test_pyscripts.py` doesn't propagate LD_PRELOAD
# so under ASan the tests fail to run
# to work.
echo "FIXME: Skipping python binding tests when building with ASan"
else
run_non_native_binding ${PYTHON_EXECUTABLE} scripts/test_pyscripts.py "${Z3_LIB_DIR}" regressions/python/
fi