Function bhv_props

tests/laws.py:108–140 · view source on GitHub ↗

(impl: AbstractBHV)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

runFunction · 0.70

permute_propsFunction · 0.85

bhv_conv_metricsFunction · 0.85

demorganFunction · 0.70

drop_leftFunction · 0.70

expand_single_innerFunction · 0.70

expand_single_outerFunction · 0.70

distributiveFunction · 0.70

propagateFunction · 0.70

propagate2Function · 0.70

propagate3Function · 0.70

complementFunction · 0.70

invariant_under2Function · 0.70

no test coverage detected