Assertion: semaphore's value | /r/HasProperty | specified by the value argument
Facets:
Source sentences:
text: The sem_init() function initializes the unnamed semaphore specified by the sem argument and assigns that semaphore the value specified by the value argument.