____________ test_SatSxpr _____________________________________________
def test_SatSxpr() -> None:
# empty arguments
> assert SatSxpr(op.__and__, ()).reduce()
tests/test_sxpr.py:16:
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
self = <[AttributeError("'SatSxpr' object has no attribute 'op'") raised in repr()] SatSxpr object at 0x7fb060502080>, op = <built-in function and_>, terms = ()
def __init__(self, op: Callable[[bool, Src], bool], terms: Tuple[Src, ...]):
init: bool
if op.__name__ == 'sat_and':
init = True
elif op.__name__ == 'sat_or':
init = False
else:
> raise ValueError(f'Unknown operation {op} encountered')
E ValueError: Unknown operation <built-in function and_> encountered
normal_form/sxpr.py:55: ValueError
---------- coverage: platform linux, python 3.10.4-final-0 -----------
Name Stmts Miss Cover Missing
-----------------------------------------------------------
normal_form/__init__.py 2 0 100%
normal_form/cnf.py 140 0 100%
normal_form/cnf_simplify.py 29 0 100%
normal_form/prop.py 32 1 97% 90
normal_form/sat.py 60 0 100%
normal_form/sxpr.py 24 3 88% 51, 53, 56
-----------------------------------------------------------
TOTAL 287 4 99%