Assertion list
output (aspect of gate ) → HasProperty
Results from Ascent++: 10
output → HasProperty → high 0.77
output → HasProperty → false 0.63
output → HasProperty → low 0.60
output → HasProperty → true 0.53
output → HasProperty → equal 0.48
output → HasProperty → zero 0.35
output → HasProperty → the opposite 0.32
output → HasProperty → positive 0.31
output → HasProperty → 1 true 0.28
output → HasProperty → inverted 0.28