diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/run-tests.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh index bcd7ce2b..927cf160 100755 --- a/scripts/build/run-tests.sh +++ b/scripts/build/run-tests.sh @@ -58,12 +58,6 @@ run_tests() { coverage_setup "${build_dir}" fi - if [[ -n "${SANITIZER_BUILD+x}" ]]; then # Check for existance of variable - if [[ -n "${SANITIZER_BUILD}" ]]; then # Check for variable not being empty string - for num in {1..10}; do sleep 120; echo 'Keep Travis alive'; done & - fi - fi - make systemtests || return 1 # If metaSMT is the only solver, then rerun lit tests with non-default metaSMT backends @@ -71,9 +65,6 @@ run_tests() { available_metasmt_backends="btor stp z3 yices2 cvc4" for backend in $available_metasmt_backends; do if [ "X${METASMT_DEFAULT}" != "X$backend" ]; then - if [ "$backend" == "cvc4" ]; then - for num in {1..10}; do sleep 120; echo 'Keep Travis alive'; done & - fi lit -v --param klee_opts=-metasmt-backend="$backend" --param kleaver_opts=-metasmt-backend="$backend" test/ fi done |