Assertion: semaphore's count | /r/HasProperty | kept
Facets:
value: of has locked the same mutex
type: OTHER
Source sentences:
text: Depending on the attributes of the mutex, we may have an error, or a count may be kept of how many times the caller has locked the same mutex (and thus will have to unlock it the same number of times).