Remove artificial timeouts as current timeout for build jobs is 6h.

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