diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-10-11 17:06:12 +0200 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-17 22:22:14 +0100 |
| commit | b32a8cd2886d85d35a24907931e97fe0e6366713 (patch) | |
| tree | e169d0c3a40b8f7a3b0f19782a7a1c4e01b36356 /.travis/klee.sh | |
| parent | c9e0af1f12d606120b5f6d60a54f1b79cfc01f7c (diff) | |
| download | klee-b32a8cd2886d85d35a24907931e97fe0e6366713.tar.gz | |
[travis] add a workaround to keep Travis alive when running tests for metaSMT-CVC4 (which needs around 10m for one specific test case)
Diffstat (limited to '.travis/klee.sh')
| -rwxr-xr-x | .travis/klee.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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 |