From a1b6316e2e3ae19e9e8f67af6e17c13771d73c81 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 16 Oct 2017 09:49:54 +0100
Subject: [PATCH] [TravisCI] Try to unbreak running Python regression tests
 under ASan.

---
 contrib/ci/scripts/test_z3_system_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/scripts/test_z3_system_tests.sh b/contrib/ci/scripts/test_z3_system_tests.sh
index bcffaf56e..6f9901687 100755
--- a/contrib/ci/scripts/test_z3_system_tests.sh
+++ b/contrib/ci/scripts/test_z3_system_tests.sh
@@ -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