From 9a34b5a962f08e02d16078be4bdc7458d816573f Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 14 Sep 2020 12:10:39 +0100
Subject: Set default LLVM version to 9.0

Use newer LLVM version 9.0 instead of 6.0.
Update to newer Ubuntu base image.
---
 .travis.yml | 4 ++--
 1 file 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
-- 
cgit 1.4.1