message: travis: upgrade to macos 10.14
diff: @@ -21,7 +21,7 @@ env:
  before_script:
  - |
  if [ $TRAVIS_OS_NAME = linux ]; then
  - if [ ! -d /tmp/z3cache/z3-$Z3_VERSION-x64-ubuntu-14.04 ] ; then
  + if [ ! -d /tmp/z3cache/z3-$Z3_VERSION.$Z3_HASH-x64-ubuntu-16.04 ] ; then
  rm -fr /tmp/z3cache
  mkdir /tmp/z3cache
  wget https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/z3-$Z3_VERSION.$Z3_HASH-x64-ubuntu-16.04.zip -O /tmp/z3.zip
  @@ -128,7 +128,7 @@ matrix:
  - env: CMAKE_BUILD_TYPE=Debug CMAKE_CXX_FLAGS=-fsanitize=address,undefined
  os: osx
  - osx_image: xcode10.1
  + osx_image: xcode10.2
  addons: &mac
  homebrew:
  packages:
  @@ -138,5 +138,5 @@ matrix:
  - env: CMAKE_BUILD_TYPE=Release
  os: osx
  - osx_image: xcode10.1
  + osx_image: xcode10.2
  addons: *mac
  