Fix __or__ logic

leonardt · Nov 20, 2023 · 6e3fbeb · 6e3fbeb
1 parent 964e07f
commit 6e3fbeb
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/fault/property.py b/fault/property.py
@@ -318,7 +318,7 @@ def __call__(self, *args):
 stable = Function("$stable")
 
 
-class PropertyUnaryOp:
+class PropertyUnaryOp(Expression):
     pass
 
 
@@ -328,6 +328,11 @@ class Not(PropertyUnaryOp):
     def __init__(self, arg):
         self.arg = arg
 
+    def __or__(self, other):
+        if isinstance(other, Property):
+            return other.__ror__(self)
+        return super().__or__(self)
+
 
 def not_(arg):
     return Not(arg)
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)