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