Assertion list
short circuit (primary) → ReceivesAction

Results from Ascent++: 10
short circuitReceivesAction likely to encountered 0.54
short circuitReceivesAction caused by collision 0.51
short circuitReceivesAction detected 0.44
short circuitReceivesAction created 0.35
short circuitReceivesAction eliminated 0.35
short circuitReceivesAction deactivated 0.30
short circuitReceivesAction avoided 0.25
short circuitReceivesAction cleared 0.25
short circuitReceivesAction fixed 0.22
short circuitReceivesAction caused by tin whiskers 0.16