updated travis + new Z3 jar.

uclid-org · Dec 7, 2019 · ebab1b3 · ebab1b3
1 parent 163c0f7
commit ebab1b3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,15 +1,16 @@
 language: scala
 scala:
-    - 2.12.0
+    - 2.12.7
 cache:
   directories:
     - $HOME/.ivy2/cache
     - $HOME/.sbt
 before_script:
-  - wget https://github.com/Z3Prover/z3/releases/download/z3-4.6.0/z3-4.6.0-x64-ubuntu-14.04.zip 
-  - unzip z3-4.6.0-x64-ubuntu-14.04.zip
-  - export PATH=$PATH:$PWD/z3-4.6.0-x64-ubuntu-14.04/bin/
-  - export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$PWD/z3-4.6.0-x64-ubuntu-14.04/bin/
+  - wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.6/z3-4.8.6-x64-ubuntu-16.04.zip
+  - unzip z3-4.8.6-x64-ubuntu-16.04.zip
+  - mv z3-4.8.6-x64-ubuntu-16.04/bin/com.microsoft.z3.jar lib/
+  - export PATH=$PATH:$PWD/z3-4.8.6-x64-ubuntu-16.04/bin/
+  - export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$PWD/z3-4.8.6-x64-ubuntu-16.04/bin/
 script: sbt ++$TRAVIS_SCALA_VERSION test
 
 
diff --git a/lib/com.microsoft.z3.jar b/lib/com.microsoft.z3.jar