Fixed travis

uuverifiers · Feb 5, 2018 · 4e94b88 · 4e94b88
1 parent 8204989
commit 4e94b88
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -9,10 +9,10 @@ os:
 before_install: 
     - wget http://user.it.uu.se/~petba168/z3-4.5.0
     - mv z3-4.5.0 z3
-    - mv mathsat.master mathsat
     - wget http://user.it.uu.se/~petba168/mathsat.master    
-    - chmod u+=x z3-4.5.0
-    - chmod u+=x mathsat.master
+    - mv mathsat.master mathsat
+    - chmod u+=x z3
+    - chmod u+=x mathsat
     - echo "(exit)" > test.smt2
     - export PATH=$PATH:`pwd`
     - z3 -smt2 test.smt2