value aspect of semaphore, 15 assertions
HasProperty 7
zero 0.56
long 0.34
greater than 0 0.32
undefined 0.25
greater 0.25
equal 0.25
negative 0.16
ReceivesAction 8
provided for new passwo… 0.59
read 0.54
decremented 0.47
incremented 0.38
associated with specifi… 0.32
returned 0.25
subtracted 0.25
changed 0.25