diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-04-11 13:45:14 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-02 11:41:18 +0100 |
| commit | 3eef6fd52718980c5a7e6f217050ed16acbb5fa3 (patch) | |
| tree | 3fe9e57c7cac80b06ae3258da1ab6c523347e66a /.travis.yml | |
| parent | af9b2eee77cc5ac79ff647a0e3fa51f464702e31 (diff) | |
| download | klee-3eef6fd52718980c5a7e6f217050ed16acbb5fa3.tar.gz | |
[travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 3d01b506..abf056ba 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,6 +25,7 @@ env: # STP_VERSION : {2.1.2, master} # METASMT_VERSION : {v4.rc1} # METASMT_DEFAULT : {btor, stp, z3} + # METASMT_BOOST_VERSION : {x.y.z} // e.g. 1.60.0, libboost-dev will be used if unspecified # UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled # DISABLE_ASSERTIONS: {0, 1} # ENABLE_OPTIMIZED: {0, 1} @@ -66,8 +67,8 @@ env: # Test metaSMT support - LLVM_VERSION=3.4 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 - - LLVM_VERSION=2.9 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 - + - LLVM_VERSION=2.9 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 METASMT_BOOST_VERSION=1.60.0 + # Check at least one build with Asserts disabled. - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 COVERAGE=0 |