Assertion list
socket (primary) → ReceivesAction

Results from Ascent++: 142
socketReceivesAction closed 0.81
socketReceivesAction connected 0.80
socketReceivesAction opened 0.63
socketReceivesAction marked 0.59
socketReceivesAction made 0.59
socketReceivesAction returned to the caller 0.58
socketReceivesAction filled with bone 0.57
socketReceivesAction read 0.55
socketReceivesAction created 0.54
socketReceivesAction locked 0.52
socketReceivesAction filled with bone substitute 0.51
socketReceivesAction designed to accept a tube/pipe 0.51
socketReceivesAction serviced 0.51
socketReceivesAction removed 0.50
socketReceivesAction associated with the value of rd… 0.49
socketReceivesAction protected 0.49
socketReceivesAction left in the alveolar ridge bone 0.49
socketReceivesAction protected with rcd 0.48
socketReceivesAction disconnected 0.47
socketReceivesAction bound to address 0.46
socketReceivesAction placed 0.46
socketReceivesAction formed 0.45
socketReceivesAction mounted 0.45
socketReceivesAction replaced 0.45
socketReceivesAction held in place 0.45
socketReceivesAction shown in fig 0.45
socketReceivesAction provided 0.44
socketReceivesAction configured 0.43
socketReceivesAction installed 0.43
socketReceivesAction mounted on the target pcb 0.43
socketReceivesAction broken 0.42
socketReceivesAction designed to dissipate up to sev… 0.42
socketReceivesAction wired 0.42
socketReceivesAction bound to port 0.41
socketReceivesAction bound to a port number 0.41
socketReceivesAction formed within the base 0.41
socketReceivesAction keyed 0.40
socketReceivesAction modified 0.38
socketReceivesAction bound to local address 0.37
socketReceivesAction bound to the wildcard address 0.37
socketReceivesAction manufactured to rigid specifica… 0.37
socketReceivesAction given to remote command 0.37
socketReceivesAction connected to remote host 0.36
socketReceivesAction constructed with central opening 0.36
socketReceivesAction exposed 0.36
socketReceivesAction addressed 0.34
socketReceivesAction attached 0.34
socketReceivesAction bound to interface 0.34
socketReceivesAction prepared 0.34
socketReceivesAction replaced with plastic 0.34
socketReceivesAction constructed with cam actuated l… 0.33
socketReceivesAction controlled 0.33
socketReceivesAction turned by 45 degrees 0.33
socketReceivesAction unbound 0.33
socketReceivesAction tested to the highest specifica… 0.32
socketReceivesAction accepted 0.32
socketReceivesAction color-coded 0.32
socketReceivesAction held by proccess 0.32
socketReceivesAction instantiated on the master side 0.32
socketReceivesAction opened in given openmode 0.32
socketReceivesAction replaced with metal 0.32
socketReceivesAction soldered on the pcb 0.32
socketReceivesAction specified by name 0.32
socketReceivesAction grafted 0.30
socketReceivesAction connected through heatpipe 0.30
socketReceivesAction engaged 0.30
socketReceivesAction filled 0.30
socketReceivesAction invented by thomas edison 0.30
socketReceivesAction referred by the file descriptor… 0.30
socketReceivesAction reused 0.30
socketReceivesAction shown in figure 0.30
socketReceivesAction bound in the child process 0.28
socketReceivesAction configured to receive mating op… 0.28
socketReceivesAction configured to receive the plug 0.28
socketReceivesAction connected to receptacle 0.28
socketReceivesAction connected to system board 0.28
socketReceivesAction illustrated as a hexagonal 0.28
socketReceivesAction kept clear of all food 0.28
socketReceivesAction kept clear of debris 0.28
socketReceivesAction linked 0.28
socketReceivesAction moved 0.28
socketReceivesAction opened in the mode 0.28
socketReceivesAction passed in as the function param… 0.28
socketReceivesAction powered by a 8-pin+4-pin eps co… 0.28
socketReceivesAction shared 0.28
socketReceivesAction threaded 0.28
socketReceivesAction tightened 0.28
socketReceivesAction turned 0.28
socketReceivesAction wired in series 0.28
socketReceivesAction affected by the condition 0.27
socketReceivesAction destroyed 0.27
socketReceivesAction damaged 0.26
socketReceivesAction shut down for writing 0.26
socketReceivesAction activated 0.25
socketReceivesAction adapted to receive a ball member 0.25
socketReceivesAction allocated in tcp_connect_to_sock 0.25
socketReceivesAction arranged in a ring shape 0.25
socketReceivesAction associated with bsock 0.25
socketReceivesAction associated with the file descri… 0.25
socketReceivesAction bound to first private port 0.25
socketReceivesAction bound to v4-mapped-on-v6 address 0.25
socketReceivesAction carried by the handle assembly 0.25
socketReceivesAction configured to engage a tip of a… 0.25
socketReceivesAction configured with accept timeout 0.25
socketReceivesAction connected to one output driver 0.25
socketReceivesAction covered 0.25
socketReceivesAction covered with small absorbable p… 0.25
socketReceivesAction cut 0.25
socketReceivesAction deepened by the glenoid labrum 0.25
socketReceivesAction dimensioned 0.25
socketReceivesAction disposed on light-emitting side… 0.25
socketReceivesAction fitted on most caravans 0.25
socketReceivesAction formed by the tibia 0.25
socketReceivesAction formed in the vial holder 0.25
socketReceivesAction formed on first surface of the … 0.25
socketReceivesAction formed with outer surface 0.25
socketReceivesAction installed in every nook of the … 0.25
socketReceivesAction installed on trailing edge of t… 0.25
socketReceivesAction machined 0.25
socketReceivesAction made in the form of dielectric … 0.25
socketReceivesAction mapped to thread 0.25
socketReceivesAction mounted to rail 0.25
socketReceivesAction packed with bone-like material 0.25
socketReceivesAction plated 0.25
socketReceivesAction purchased 0.25
socketReceivesAction pushed 0.25
socketReceivesAction recessed 0.25
socketReceivesAction released 0.25
socketReceivesAction replaced with a metal ball 0.25
socketReceivesAction replaced with polyethylene 0.25
socketReceivesAction returned by accept 0.25
socketReceivesAction shunted 0.25
socketReceivesAction sourced 0.25
socketReceivesAction used to plug in other power tool 0.25
socketReceivesAction used to put pressure 0.25
socketReceivesAction used with a set of programming … 0.25
socketReceivesAction welded 0.25
socketReceivesAction required 0.24
socketReceivesAction designed to tackle the toughest… 0.19
socketReceivesAction destroyed at any time 0.19
socketReceivesAction designed to fit twist system 0.16
socketReceivesAction exposed to air 0.16