From 959a810cffa91f896021ae2148eced373f283670 Mon Sep 17 00:00:00 2001 From: Andrea Mattavelli Date: Mon, 6 Mar 2017 15:17:14 +0000 Subject: [Travis-CI] Refactored Z3 in its own script --- .travis/solvers.sh | 9 +-------- .travis/z3.sh | 14 ++++++++++++++ 2 files changed, 15 insertions(+), 8 deletions(-) create mode 100755 .travis/z3.sh 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 -- cgit 1.4.1