diff options
| author | Hoang <hle@cs.uni-bremen.de> | 2016-06-08 22:29:38 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 11:32:36 +0200 |
| commit | 9ef3c841b6d22e972ba8635a2eb2d3919bce9192 (patch) | |
| tree | cf164d9baf55389412d9b87047a6accf169c124e /.travis.yml | |
| parent | e70147e2c7f6716c4c0313d8e5b4aeba1d3042ed (diff) | |
| download | klee-9ef3c841b6d22e972ba8635a2eb2d3919bce9192.tar.gz | |
Use travis_wait to allow long running tests
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |