From b32a8cd2886d85d35a24907931e97fe0e6366713 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Wed, 11 Oct 2017 17:06:12 +0200
Subject: [travis] add a workaround to keep Travis alive when running tests for
 metaSMT-CVC4 (which needs around 10m for one specific test case)

---
 .travis/klee.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.travis/klee.sh')

diff --git a/.travis/klee.sh b/.travis/klee.sh
index 2de6b57c..98e1995b 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -150,6 +150,9 @@ 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..5}; 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
-- 
cgit 1.4.1