diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-08 18:14:45 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 11:32:34 +0200 |
| commit | e70147e2c7f6716c4c0313d8e5b4aeba1d3042ed (patch) | |
| tree | 99d454057324fe824f25f6aa62c0abcc2a5cbd70 /.travis | |
| parent | a0ce2ae13ff2b96befe633742ce5ce0c014666ed (diff) | |
| download | klee-e70147e2c7f6716c4c0313d8e5b4aeba1d3042ed.tar.gz | |
add entries for metaSMT with btor/stp/z3 in Travis CI
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/klee.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index 64087b11..bb57f281 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -66,7 +66,7 @@ for solver in ${SOLVER_LIST}; do ;; metaSMT) echo "metaSMT" - KLEE_METASMT_CONFIGURE_OPTION="--with-metasmt=${BUILD_DIR}/metaSMT/build/root" + KLEE_METASMT_CONFIGURE_OPTION="--with-metasmt=${BUILD_DIR}/metaSMT/build/root --with-metasmt-default-solver=${METASMT_DEFAULT}" ;; *) echo "Unknown solver ${solver}" |