diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-20 15:29:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 11:50:10 +0000 |
| commit | 1ffef7b5a0bf78bd4b4a31c626f20e150229d814 (patch) | |
| tree | 88720bf42b1564b4875b6adfad34e91ac5d70efb /.travis/solvers.sh | |
| parent | 1ffda389d8d20c212884b8a669ebb4cb24f1fa01 (diff) | |
| download | klee-1ffef7b5a0bf78bd4b4a31c626f20e150229d814.tar.gz | |
[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan builds
of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build.
Diffstat (limited to '.travis/solvers.sh')
| -rwxr-xr-x | .travis/solvers.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.travis/solvers.sh b/.travis/solvers.sh index d64c1077..04f3276f 100755 --- a/.travis/solvers.sh +++ b/.travis/solvers.sh @@ -16,6 +16,12 @@ 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 |