CI: Re-enabling Library-only tests (w/o solvers)

pysmt · Apr 11, 2015 · 7cfb250 · 7cfb250
1 parent a48c252
commit 7cfb250
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/shippable.yml b/shippable.yml
@@ -35,6 +35,7 @@ env:
     # Binaries Mirror:
     - secure: nuGI4WDZOFDezaSxQUKyOP19iqRmQSASv5tpCCsryQ3AtI3in/1dYndDUwmzGYfoVkHTOsf6n4O3XEAruktPpVZzLSlek9zcr8v0IERTfzhoGCWRqqYDrDoCU6Hc2WYyGOhGGEzfldsY1EVMx5+LsVz0JoVZFe75CO6oWvuEYVYRmeJYzKQWLuXXwQMkfYulX1ouF1b5JCdeepbUfwcf4o34RPrd6eLoL7Y1RT4SBsR0uX4lpnWvUB2qqoyOEvu/hXt9Zft57tW4OY2GUdlRlj/Hx/5fPIFGYJmsGu7BM/+Q1cLgZnyyH0mxaHtBkjt8ecMwUc/9PbNJ2alZDmIMyw==
   matrix:
+    - PYSMT_SOLVER="None"
     - PYSMT_SOLVER="msat"
     - PYSMT_SOLVER="z3"
     - PYSMT_SOLVER="cvc4"