Assertion: semaphore's counter | /r/HasProperty | decremented by call
Facets:
Source sentences:
text: This counter is decremented by calls to acquire() and related methods, and is incremented by calls to release().