diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-11-30 19:26:38 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-12-05 14:18:18 +0000 |
| commit | 33a9d773867de826b5e23a1793076efe18dfb3d1 (patch) | |
| tree | 4d8add4c76edd5093cb9f26e3fb59802f6ef62cf /.travis.yml | |
| parent | 60b5c574ea565b3132cc60d946d87a4d1243801b (diff) | |
| download | klee-33a9d773867de826b5e23a1793076efe18dfb3d1.tar.gz | |
Bumped xcode version for TravisCI
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 920b1b22..3cb1d54c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -77,7 +77,7 @@ env: matrix: include: - os: osx - osx_image: xcode8.2 + osx_image: xcode8.3 env: LLVM_VERSION=3.4 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=0 addons: |