Assertion list
semaphore (primary) → HasProperty
Results from Ascent++: 5
semaphore → HasProperty → unavailable 0.49
semaphore → HasProperty → unpredictable 0.30
semaphore → HasProperty → free 0.25
semaphore → HasProperty → reset 0.25
semaphore → HasProperty → visible 0.25