travis: upgrade z3 to 4.8.5
MODIFY
.travis.yml
.travis.yml
@@ -15,16 +15,15 @@ addons:
env:
global:
- RE2C_VERSION=1.1.1
- - Z3_VERSION=4.8.4
- - Z3_HASH=d6df51951f4c
+ - Z3_VERSION=4.8.5
before_script:
- |
if [ $TRAVIS_OS_NAME = linux ]; then
- if [ ! -d /tmp/z3cache/z3-$Z3_VERSION.$Z3_HASH-x64-ubuntu-16.04 ] ; then
+ 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.$Z3_HASH-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-16.04.zip -O /tmp/z3.zip
pushd /tmp
unzip z3.zip
mv z3-* z3cache

travis: upgrade z3 to 4.8.5