Assertion list
output (aspect of multiplexer ) → HasProperty
Results from Ascent++: 5
output → HasProperty → high 0.61
output → HasProperty → equal 0.48
output → HasProperty → low 0.48
output → HasProperty → inverted 0.33
output → HasProperty → zero 0.33