diff options
| -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 |