Merge pull request #108 from leonardt/patch-msat-test

Add logic to skip msat test if not available
leonardt · May 24, 2019 · bd4687b · bd4687b
2 parents 7f058b4 + c5b343e
commit bd4687b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/test_symbolic_tester.py b/tests/test_symbolic_tester.py
@@ -10,6 +10,15 @@ def pytest_generate_tests(metafunc):
 
 
 def test_tester_magma_internal_signals_verilator(target):
+    if target == "cosa":
+        from pysmt.shortcuts import Solver
+        from pysmt.exceptions import NoSolverAvailableError
+        import pytest
+        try:
+            with Solver(name="msat"):
+                pass
+        except NoSolverAvailableError:
+            pytest.skip("msat not available")
     circ = common.SimpleALU
 
     tester = SymbolicTester(circ, circ.CLK, num_tests=100)