message: travis: upgrade to Z3 4.8.10
diff: @@ -14,7 +14,7 @@ addons:
  env:
  global:
  - - Z3_VERSION=4.8.9
  + - Z3_VERSION=4.8.10
  before_script:
  - |
  @@ -22,7 +22,7 @@ before_script:
  if [ ! -d /tmp/z3cache/z3-$Z3_VERSION-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-x64-ubuntu-16.04.zip -O /tmp/z3.zip
  + wget https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/z3-$Z3_VERSION-x64-ubuntu-18.04.zip -O /tmp/z3.zip
  pushd /tmp
  unzip z3.zip
  mv z3-* z3cache
  