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 | |
| parent | a40818cab8e1b2315ac40d2c2cb125fc422e8ed7 (diff) | |
| download | klee-959a810cffa91f896021ae2148eced373f283670.tar.gz | |
[Travis-CI] Refactored Z3 in its own script
| -rwxr-xr-x | .travis/solvers.sh | 9 | ||||
| -rwxr-xr-x | .travis/z3.sh | 14 |
2 files changed, 15 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" diff --git a/.travis/z3.sh b/.travis/z3.sh new file mode 100755 index 00000000..10d6be80 --- /dev/null +++ b/.travis/z3.sh @@ -0,0 +1,14 @@ +#!/bin/bash -x + +# Make sure we exit if there is a failure +set -e + +# 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 + +# Should we install libz3-dbg too? +sudo apt-get -y install libz3 libz3-dev |