Assertion list
semaphore (primary) → ReceivesAction
Results from Ascent++: 24
semaphore → ReceivesAction → released 0.82
semaphore → ReceivesAction → set 0.74
semaphore → ReceivesAction → locked 0.61
semaphore → ReceivesAction → used to control access 0.60
semaphore → ReceivesAction → created 0.59
semaphore → ReceivesAction → signaled 0.54
semaphore → ReceivesAction → acquired 0.51
semaphore → ReceivesAction → incremented 0.48
semaphore → ReceivesAction → designated by sem 0.43
semaphore → ReceivesAction → shared 0.43
semaphore → ReceivesAction → initialized 0.41
semaphore → ReceivesAction → obtained by one side 0.41
semaphore → ReceivesAction → deleted 0.39
semaphore → ReceivesAction → associated with speculative ins… 0.33
semaphore → ReceivesAction → identified by key 0.33
semaphore → ReceivesAction → destroyed 0.30
semaphore → ReceivesAction → associated to atom 0.30
semaphore → ReceivesAction → referenced by sem 0.30
semaphore → ReceivesAction → used in subsequent calls 0.30
semaphore → ReceivesAction → added to logical flow 0.25
semaphore → ReceivesAction → associated with scheduled instr… 0.25
semaphore → ReceivesAction → granted 0.25
semaphore → ReceivesAction → opened 0.25
semaphore → ReceivesAction → specified in the array 0.25