Merge pull request #64 from pysmt/fix_wrapper_mathsat_version

CI: Fix version of Mathsat used in msat_wrap
pysmt · Mar 27, 2015 · ad2679d · ad2679d
2 parents 3868404 + 401a8b3
commit ad2679d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/shippable.yml b/shippable.yml
@@ -61,7 +61,8 @@ matrix:
       env: PYSMT_SOLVER="cudd"
     - python: 3.4
       env: PYSMT_SOLVER="cudd"
-
+  allow_failures:
+    - env: PYSMT_SOLVER="msat_wrap"
 
 # Make folders for the reports
 before_script:
@@ -80,7 +81,7 @@ before_script:
 
 script:
   - ./install.py --check
-  - if [ "$PYSMT_SOLVER" == "msat_wrap" ]; then cd $TRAVIS_BUILD_DIR/pysmt/test/smtlib/bin; cp $TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.2.12-linux-x86_64/bin/mathsat .; mv mathsat.solver.sh.template mathsat.solver.sh; cd $TRAVIS_BUILD_DIR/; fi
+  - if [ "$PYSMT_SOLVER" == "msat_wrap" ]; then cd $TRAVIS_BUILD_DIR/pysmt/test/smtlib/bin; cp $TRAVIS_BUILD_DIR/.smt_solvers/mathsat-5.3.4-linux-x86_64/bin/mathsat .; mv mathsat.solver.sh.template mathsat.solver.sh; cd $TRAVIS_BUILD_DIR/; fi
   - nosetests pysmt -v --processes=4 --process-timeout=360 --with-xunit --xunit-file=shippable/testresults/nosetests.xml
 
 # Push of container is disabled