Function bhv_props

tests/sym_laws.py:96–120 · view source on GitHub ↗

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

sym_laws.pyFile · 0.70

EqClass · 0.90

demorganFunction · 0.70

drop_leftFunction · 0.70

expand_single_innerFunction · 0.70

expand_single_outerFunction · 0.70

distributiveFunction · 0.70

complementFunction · 0.70

invariant_under2Function · 0.70

bounded_latticeFunction · 0.70

xor_propsFunction · 0.70

not_propsFunction · 0.70

or_and_propsFunction · 0.70

no test coverage detected