Assertion: semaphore's count | /r/HasProperty | restored by the operating system
Facets:
Source sentences:
text: SEM_UNDO : if the process should terminate before it can restore the count on the semaphore, then the count is restored by the Operating System.