diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-21 17:00:03 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-10-04 22:27:29 +0100 |
| commit | 4c026ad0b0e512cbd330beca5c55391f1e333db3 (patch) | |
| tree | f82be6cc2c78e4e9a2d16ec72b6ed4fc3f92532b /.travis.yml | |
| parent | be4260c83711fa4efe6588a7dfe43fa721ca9b8b (diff) | |
| download | klee-4c026ad0b0e512cbd330beca5c55391f1e333db3.tar.gz | |
Fix TravisCI `METASMT_DEFAULT` setting.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index b4b2cce5..7ea242b0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,7 +24,7 @@ env: # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.1.2, master} # METASMT_VERSION : {v4.rc1} - # METASMT_DEFAULT : {btor, stp, z3} + # 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} @@ -59,7 +59,7 @@ env: - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_0_9_29 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 # 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=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 # 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 |