Assertion list
value (aspect of semaphore ) → HasProperty
Results from Ascent++: 7
value → HasProperty → zero 0.56
value → HasProperty → long 0.34
value → HasProperty → greater than 0 0.32
value → HasProperty → equal 0.25
value → HasProperty → greater 0.25
value → HasProperty → undefined 0.25
value → HasProperty → negative 0.16