Assertion list
count (aspect of semaphore ) → ReceivesAction
Results from Ascent++: 2
count → ReceivesAction → decremented 0.53
count → ReceivesAction → incremented 0.34