Ascent++ | reported after the event of successful delivery

Assertion list for term "reported after the event of successful delivery".

Results from Ascent++: 1

fault → ReceivesAction → reported after the event of successful delivery

0.16