Assertion: semaphore's counter | /r/HasProperty | incremented by count
Facets:
value: by child processes
type: OTHER
value: by both parent
type: OTHER
Source sentences:
text: The counter is incremented by count by both parent and child processes.