diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-14 12:10:39 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 9a34b5a962f08e02d16078be4bdc7458d816573f (patch) | |
| tree | c5da27fb8827e52053e4c7c0f608f2094a6b4778 /.travis.yml | |
| parent | d5845873276f142f785cab0d3489209b3a4980ab (diff) | |
| download | klee-9a34b5a962f08e02d16078be4bdc7458d816573f.tar.gz | |
Set default LLVM version to 9.0
Use newer LLVM version 9.0 instead of 6.0. Update to newer Ubuntu base image.
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 90856b35..93af730b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ env: # Define default values - they are overwritten by each matrix entry if needed global: # Default configuration for all Travis-CI jobs. They are overriden by each job. - - BASE_IMAGE=ubuntu:bionic-20200112 + - BASE_IMAGE=ubuntu:bionic-20200807 - REPOSITORY=klee - COVERAGE=0 @@ -36,7 +36,7 @@ env: - ENABLE_DEBUG=1 - GTEST_VERSION=1.7.0 - KLEE_RUNTIME_BUILD="Debug+Asserts" - - LLVM_VERSION=6.0 + - LLVM_VERSION=9.0 - METASMT_VERSION=qf_abv - MINISAT_VERSION="master" - REQUIRES_RTTI=0 |