Assertion list
unchecked exception (subgroup of exception ) → ReceivesAction
Results from Ascent++: 3
unchecked exception → ReceivesAction → thrown 0.68
unchecked exception → ReceivesAction → checked at runtime 0.25
unchecked exception → ReceivesAction → propagated 0.25