Assertion list
output (aspect of function ) → HasProperty
Results from Ascent++: 41
output → HasProperty → high 0.68
output → HasProperty → equal 0.67
output → HasProperty → zero 0.67
output → HasProperty → valid 0.61
output → HasProperty → true 0.53
output → HasProperty → correct 0.53
output → HasProperty → low 0.52
output → HasProperty → identical 0.51
output → HasProperty → negative 0.48
output → HasProperty → visible 0.45
output → HasProperty → proportional 0.44
output → HasProperty → null 0.41
output → HasProperty → empty 0.38
output → HasProperty → large 0.38
output → HasProperty → active 0.36
output → HasProperty → possible 0.36
output → HasProperty → inverted 0.34
output → HasProperty → undefined 0.34
output → HasProperty → unpredictable 0.34
output → HasProperty → wrong 0.32
output → HasProperty → compatible 0.32
output → HasProperty → dependent 0.32
output → HasProperty → long 0.32
output → HasProperty → positive 0.32
output → HasProperty → predictable 0.32
output → HasProperty → useful 0.31
output → HasProperty → binary 0.29
output → HasProperty → higher 0.29
output → HasProperty → logical 1 0.29
output → HasProperty → stable 0.29
output → HasProperty → compact 0.25
output → HasProperty → consistent 0.25
output → HasProperty → double 0.25
output → HasProperty → dynamic 0.25
output → HasProperty → flexible 0.25
output → HasProperty → linear 0.25
output → HasProperty → minimum 0.25
output → HasProperty → relevant 0.25
output → HasProperty → small 0.23
output → HasProperty → unexpected 0.20
output → HasProperty → more useful 0.16