diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-06 15:17:14 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-24 07:47:42 +0000 |
| commit | 959a810cffa91f896021ae2148eced373f283670 (patch) | |
| tree | 10755578e617722e92da9db7795c9935340a809e /.travis/solvers.sh | |
| parent | a40818cab8e1b2315ac40d2c2cb125fc422e8ed7 (diff) | |
| download | klee-959a810cffa91f896021ae2148eced373f283670.tar.gz | |
[Travis-CI] Refactored Z3 in its own script
Diffstat (limited to '.travis/solvers.sh')
| -rwxr-xr-x | .travis/solvers.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/.travis/solvers.sh b/.travis/solvers.sh index 04f3276f..b419d679 100755 --- a/.travis/solvers.sh +++ b/.travis/solvers.sh @@ -16,15 +16,8 @@ for solver in ${SOLVER_LIST}; do cd ../ ;; Z3) - # FIXME: Move this into its own script - source ${KLEE_SRC}/.travis/sanitizer_flags.sh - if [ "X${IS_SANITIZED_BUILD}" != "X0" ]; then - echo "Error: Requested Sanitized build but Z3 being used is not sanitized" - exit 1 - fi echo "Z3" - # Should we install libz3-dbg too? - sudo apt-get -y install libz3 libz3-dev + ${KLEE_SRC}/.travis/z3.sh ;; metaSMT) echo "metaSMT" |