diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-12-02 10:26:44 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-02 15:11:39 +0000 |
| commit | 4411278ed77bda7d51edd0cbae160b1cdaa0e7b9 (patch) | |
| tree | a15ff05c7ca43a7b605115540221bb63e1c5ec48 | |
| parent | 8a9c2db6e32e813a780eeb759d310bb883ed1152 (diff) | |
| download | klee-4411278ed77bda7d51edd0cbae160b1cdaa0e7b9.tar.gz | |
Remove artificial timeouts as current timeout for build jobs is 6h.
| -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 |