From 9ef3c841b6d22e972ba8635a2eb2d3919bce9192 Mon Sep 17 00:00:00 2001
From: Hoang <hle@cs.uni-bremen.de>
Date: Wed, 8 Jun 2016 22:29:38 +0200
Subject: Use travis_wait to allow long running tests

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 8fc99b98..42072095 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -115,4 +115,4 @@ script:
     - ${KLEE_SRC}/.travis/testing-utils.sh
     - cd ../
     # Build KLEE
-    - ${KLEE_SRC}/.travis/klee.sh
+    - travis_wait 30 ${KLEE_SRC}/.travis/klee.sh
-- 
cgit 1.4.1