Assertion: semaphore's value | /r/HasProperty | unchanged
Facets:
Source sentences:
text: On success, the return value is 0, and on failure, the return value is -1 (and the value of the semaphore is unchanged).
text: Note: On success, the return value is 0, and on failure, the return value is -1 (and the value of the semaphore is unchanged).