Set magma opts for assume test

leonardt · Nov 17, 2023 · d730f71 · d730f71
1 parent 076603f
commit d730f71
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tests/test_property.py b/tests/test_property.py
@@ -11,8 +11,8 @@
 
 def requires_ncsim(test_fn):
     def wrapper(test_fn, *args, **kwargs):
-        if not shutil.which("ncsim"):
-            return pytest.skip("need ncsim for SVA test")
+        # if not shutil.which("ncsim"):
+        #     return pytest.skip("need ncsim for SVA test")
         return test_fn(*args, **kwargs)
     return decorator.decorator(wrapper, test_fn)
 
@@ -702,6 +702,8 @@ class Main(m.Circuit):
     # formal tools)
     with pytest.raises(AssertionError):
         tester.compile_and_run("system-verilog", simulator="ncsim",
+                               magma_opts={"sv": True,
+                                           "disable_initial_blocks": True},
                                flags=["-sv"], magma_output="mlir-verilog")