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] Swap run_quiet and run_non_native_binding. In the

Browse source 
previous order `grep` inside `run_quiet` would get ASan LD_PRELOAD'ed
which would sometimes fail.
This commit is contained in:
Dan Liew 2017-10-15 17:41:40 +01:00
parent ecadef6e48
commit ead6e56d15
1 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

22
contrib/ci/scripts/test_z3_examples_cmake.sh
View file

@ -68,17 +68,17 @@ if [ "X${PYTHON_BINDINGS}" = "X1" ]; then
# Too slow when doing ASan Debug build
echo "Skipping all_interval_series.py under ASan Debug build"
else
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/all_interval_series.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/all_interval_series.py
fi
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/complex.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/example.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/complex.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/example.py
# FIXME: `hamiltonian.py` example is disabled because its too slow.
#${PYTHON_EXECUTABLE} python/hamiltonian.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/marco.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/mss.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/socrates.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/visitor.py
run_non_native_binding run_quiet ${PYTHON_EXECUTABLE} python/z3test.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/marco.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/mss.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/socrates.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/visitor.py
run_quiet run_non_native_binding ${PYTHON_EXECUTABLE} python/z3test.py
fi
if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
@ -86,7 +86,7 @@ if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
# FIXME: Move compliation step into CMake target
mcs ${Z3_SRC_DIR}/examples/dotnet/Program.cs /target:exe /out:dotnet_test.exe /reference:Microsoft.Z3.dll /r:System.Numerics.dll
# Run .NET example
run_non_native_binding run_quiet mono ./dotnet_test.exe
run_quiet run_non_native_binding mono ./dotnet_test.exe
fi
if [ "X${JAVA_BINDINGS}" = "X1" ]; then
@ -108,8 +108,8 @@ if [ "X${JAVA_BINDINGS}" = "X1" ]; then
# so don't run it for now.
echo "Skipping JavaExample under ASan build"
else
run_non_native_binding \
run_quiet \
run_quiet \
run_non_native_binding \
java -cp .:examples/java:com.microsoft.z3.jar JavaExample
fi
fi