Dan Liew 7c99721b60 [TravisCI] Don't run Python regression tests under ASan for now. ... The script that runs them doesn't propagate LD_PRELOAD and so the tests fail.		2017-10-16 13:21:03 +01:00
..
build_z3_cmake.sh	[TravisCI][CMake] Add Z3_C_EXAMPLES_FORCE_CXX_LINKER CMake option	2017-10-16 08:56:17 +01:00
ci_defaults.sh	[TravisCI] Add RUN_API_EXAMPLES option so that we can disable	2017-10-16 08:56:17 +01:00
install_deps_osx.sh
run_quiet.sh	[TravisCI] Try to fix case in run_quiet where the script would fail	2017-10-16 08:56:17 +01:00
sanitizer_env.sh	[TravisCI] Try again to not show suppressions by default	2017-10-16 08:56:17 +01:00
set_compiler_flags.sh
set_generator_args.sh
test_z3_docs.sh
test_z3_examples_cmake.sh	[TravisCI] Add RUN_API_EXAMPLES option so that we can disable	2017-10-16 08:56:17 +01:00
test_z3_install_cmake.sh
test_z3_system_tests.sh	[TravisCI] Don't run Python regression tests under ASan for now.	2017-10-16 13:21:03 +01:00
test_z3_unit_tests_cmake.sh
travis_ci_entry_point.sh
travis_ci_linux_entry_point.sh	[TravisCI] Add RUN_API_EXAMPLES option so that we can disable	2017-10-16 08:56:17 +01:00
travis_ci_osx_entry_point.sh