diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:38:39 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | 0837d96d20e3ecd502a650aaa62488845198560f (patch) | |
| tree | ee295a6fd1c518d94382786b6d93c4e953c22a64 /.travis.yml | |
| parent | 56736fa30e8ea72b3ac63d087f7cfcdfcd3a784f (diff) | |
| download | klee-0837d96d20e3ecd502a650aaa62488845198560f.tar.gz | |
Use a newer Ubuntu 18.04 from the year 2020 to build KLEE
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 673dd153..51a3a086 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,7 +32,7 @@ env: - secure: DQAEQWJblXvIztN/sgH63OtFncI+Qju6wRy1zIV/iLf5KbAmLs1h3itU7EsE/+3+LgV1MVQ5QNJDBUj17A6VHRKNaQ5qnIllTAcC3o0nPDohQkQoCgDG8HZ+M4wtVfr7q2K6byEPB2UbSH+mEjSMTihJufgBBVfKyyozAfYycjg= # Default configuration for all Travis-CI jobs. They are overriden by each job. - - BASE_IMAGE: ubuntu:xenial-20181005 + - BASE_IMAGE: ubuntu:bionic-20200112 - REPOSITORY: klee - COVERAGE: 0 |