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

scripts/build/run-tests.sh

@@ -58,22 +58,13 @@ 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
   if [ "X${SOLVERS}" == "XmetaSMT" ]; then
     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