Assertion: semaphore's counter | /r/HasProperty | incremented
Facets:
Source sentences:
text: You can visualize a semaphore as counter which can be incremented or decremented.
text: When the counter is zero, acquire() blocks until the counter is incremented, but try_acquire() does not block; try_acquire_for() and try_acquire_until() block until the counter is incremented or a timeout is reached.
text: When the counter is zero, acquire() blocks until the counter is incremented, but try_acquire() does not block; try_acquire_for() and try_acquire_until() block until the counter is incremented or a timeout is reached.