diff options
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 |