Assertion list
property (aspect of foam ) → ReceivesAction
Results from Ascent++: 2
property → ReceivesAction → customized to provide optimum i… 0.68
property → ReceivesAction → measured 0.68