about summary refs log tree commit diff homepage
path: root/scripts/build/run-tests.sh
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2019-10-09 11:48:30 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-10-29 15:38:02 -0400
commit238a7875a94643dc73e5743adb418e497efb85f7 (patch)
treeea40ce4d2a62b382c938913d4e170a127dd5b4a6 /scripts/build/run-tests.sh
parent4eb050e2999bef42f70dcc72a8ee283f8803ce67 (diff)
downloadklee-238a7875a94643dc73e5743adb418e497efb85f7.tar.gz
Travis: double timeout for MetaSMT tests
Diffstat (limited to 'scripts/build/run-tests.sh')
-rwxr-xr-xscripts/build/run-tests.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh
index 387ef8f3..b2062c2a 100755
--- a/scripts/build/run-tests.sh
+++ b/scripts/build/run-tests.sh
@@ -70,7 +70,7 @@ run_tests() {
     for backend in $available_metasmt_backends; do
       if [ "X${METASMT_DEFAULT}" != "X$backend" ]; then
         if [ "$backend" == "cvc4" ]; then
-          for num in {1..5}; do sleep 120; echo 'Keep Travis alive'; done &
+          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