Merge pull request #61 from pysmt/shippable_matrix_def_pr

Changing build matrix from include to exclude.

shippable.yml

@@ -5,6 +5,8 @@ build_image: shippableimages/ubuntu1404_python
 
 python:
   - 2.7
+  - 3.3
+  - 3.4
 
 
 before_install:
@@ -41,23 +43,23 @@ env:
     - PYSMT_SOLVER="picosat"
 
 matrix:
-  include:
+  exclude:
     - python: 3.3
-      env: PYSMT_SOLVER="None"
+      env: PYSMT_SOLVER="z3"
     - python: 3.4
-      env: PYSMT_SOLVER="None"
-    - python: pypy
-      env: PYSMT_SOLVER="None"
-
+      env: PYSMT_SOLVER="z3"
     - python: 3.3
-      env: PYSMT_SOLVER="msat"
+      env: PYSMT_SOLVER="cvc4"
+    - python: 3.4
+      env: PYSMT_SOLVER="cvc4"
     - python: 3.3
-      env: PYSMT_SOLVER="picosat"
-
+      env: PYSMT_SOLVER="yices"
     - python: 3.4
-      env: PYSMT_SOLVER="msat"
+      env: PYSMT_SOLVER="yices"
+    - python: 3.3
+      env: PYSMT_SOLVER="cudd"
     - python: 3.4
-      env: PYSMT_SOLVER="picosat"
+      env: PYSMT_SOLVER="cudd"
 
 
 # Make folders for the reports
@@ -76,7 +78,7 @@ before_script:
 
 script:
   - ./install.py --check
-  - nosetests pysmt --processes=4 --process-timeout=360 --with-xunit --xunit-file=shippable/testresults/nosetests.xml
+  - nosetests pysmt -v --processes=4 --process-timeout=360 --with-xunit --xunit-file=shippable/testresults/nosetests.xml
 
 # Push of container is disabled
 # commit_container: gario/shippable_pysmt