Merge pull request #27 from pysmt/yices_and_cudd_ci_tests

Yices and cudd ci tests
pysmt · Mar 2, 2015 · 1f50d94 · 1f50d94
2 parents 5d056a0 + 60dd95d
commit 1f50d94
Show file tree

Hide file tree

Showing 6 changed files with 661 additions and 165 deletions.
diff --git a/install.py b/install.py
@@ -342,9 +342,7 @@ def check_install():
         print("%s: \t %s" % (solver, is_installed))
 
         if solver == required_solver and not is_installed:
-            assert "Was expecting to find %s installed" % required_solver
-
-
+            raise Exception("Was expecting to find %s installed" % required_solver)
 
 
 def parse_options():