Assertion: semaphore's value | /r/HasProperty | modified by wait
Facets:
Source sentences:
text: Semaphore variable value is modified by wait() and signal() operation apart from initialization.
text: The value of semaphore can be modified by wait() and signal() operation only.