Assertion list
parameter (aspect of function ) → HasA

Results from Ascent++: 9
parameterHasA a default value 0.67
parameterHasA same meaning 0.60
parameterHasA a value of zero 0.41
parameterHasA value 0.38
parameterHasA different type 0.25
parameterHasA expression 0.25
parameterHasA same encoding 0.25
parameterHasA sufficient room 0.25
parameterHasA illegal value 0.16