From 238a7875a94643dc73e5743adb418e497efb85f7 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 9 Oct 2019 11:48:30 +0100
Subject: Travis: double timeout for MetaSMT tests

---
 scripts/build/run-tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit 1.4.1