mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

[TravisCI] Try to unbreak running Python regression tests under ASan.

Browse source
This commit is contained in:
Dan Liew 2017-10-16 09:49:54 +01:00
parent 8835b54d16
commit a1b6316e2e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -58,7 +58,7 @@ if [ "X${PYTHON_BINDINGS}" = "X1" ]; then
# to work.
echo "FIXME: Skipping python binding tests when building with UBSan"
else
${PYTHON_EXECUTABLE} scripts/test_pyscripts.py "${Z3_LIB_DIR}" regressions/python/
run_non_native_binding ${PYTHON_EXECUTABLE} scripts/test_pyscripts.py "${Z3_LIB_DIR}" regressions/python/
fi
fi