diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-04-04 12:12:33 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-08 22:05:33 +0100 |
| commit | 9df5fe2f0d436923bae81e67ae0b42bdc298d0c0 (patch) | |
| tree | c147000029fac89249c78e369f81cbd85bd289b8 /.travis.yml | |
| parent | dd4954f5937daa1aada5949f3ed711b9e55b07e0 (diff) | |
| download | klee-9df5fe2f0d436923bae81e67ae0b42bdc298d0c0.tar.gz | |
Use newer version of metaSMT in travis build
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 4ad3f558..6d0efdb0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -41,7 +41,7 @@ env: - ENABLE_DEBUG: 1 - GTEST_VERSION: 1.7.0 - LLVM_VERSION: 6.0 - - METASMT_VERSION: v4.rc1 + - METASMT_VERSION: qf_abv - MINISAT_VERSION: "master" - REQUIRES_RTTI: 0 - SANITIZER_BUILD: |