Fix arg

leonardt · Nov 21, 2023 · 728331c · 728331c
1 parent 9c668d0
commit 728331c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/fault/property.py b/fault/property.py
@@ -246,7 +246,7 @@ def compile(self, prop):
 
 
 def _make_statement(statement, prop, on, disable_iff, compile_guard, name):
-    statement = prepend_when_cond(statement)
+    prop = prepend_when_cond(prop)
 
     format_args = {}
     _compiler = _Compiler(format_args)

diff --git a/tests/test_property.py b/tests/test_property.py
@@ -9,8 +9,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)