about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-12-02 10:26:44 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-12-02 15:11:39 +0000
commit4411278ed77bda7d51edd0cbae160b1cdaa0e7b9 (patch)
treea15ff05c7ca43a7b605115540221bb63e1c5ec48 /scripts
parent8a9c2db6e32e813a780eeb759d310bb883ed1152 (diff)
downloadklee-4411278ed77bda7d51edd0cbae160b1cdaa0e7b9.tar.gz
Remove artificial timeouts as current timeout for build jobs is 6h.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/build/run-tests.sh9
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