Assertion list
output (aspect of function ) → ReceivesAction
Results from Ascent++: 106
output → ReceivesAction → shown in figure 0.73
output → ReceivesAction → connected 0.69
output → ReceivesAction → provided 0.62
output → ReceivesAction → buffered 0.60
output → ReceivesAction → applied as input 0.58
output → ReceivesAction → performed 0.57
output → ReceivesAction → produced 0.53
output → ReceivesAction → generated 0.53
output → ReceivesAction → redirected to file 0.51
output → ReceivesAction → sent to the browser 0.48
output → ReceivesAction → transmitted 0.48
output → ReceivesAction → suppressed 0.45
output → ReceivesAction → formatted 0.45
output → ReceivesAction → flushed 0.45
output → ReceivesAction → scaled 0.45
output → ReceivesAction → connected to the input of inver… 0.44
output → ReceivesAction → shown in fig 0.44
output → ReceivesAction → sent 0.44
output → ReceivesAction → sent to the console 0.41
output → ReceivesAction → shown 0.41
output → ReceivesAction → based on the input 0.41
output → ReceivesAction → controlled 0.40
output → ReceivesAction → sent to file 0.40
output → ReceivesAction → connected to second input 0.38
output → ReceivesAction → printed 0.38
output → ReceivesAction → captured 0.36
output → ReceivesAction → derived 0.36
output → ReceivesAction → left blank 0.36
output → ReceivesAction → presented on line 0.36
output → ReceivesAction → sorted 0.36
output → ReceivesAction → updated 0.36
output → ReceivesAction → returned 0.35
output → ReceivesAction → checked 0.34
output → ReceivesAction → closed 0.34
output → ReceivesAction → created as temporary table 0.34
output → ReceivesAction → fed on line 0.34
output → ReceivesAction → rendered 0.34
output → ReceivesAction → truncated 0.34
output → ReceivesAction → set 0.33
output → ReceivesAction → discarded 0.32
output → ReceivesAction → applied 0.32
output → ReceivesAction → calculated 0.32
output → ReceivesAction → combined 0.32
output → ReceivesAction → displayed to the user 0.32
output → ReceivesAction → enabled 0.32
output → ReceivesAction → logged 0.32
output → ReceivesAction → measured 0.32
output → ReceivesAction → read 0.32
output → ReceivesAction → selected 0.32
output → ReceivesAction → stored 0.32
output → ReceivesAction → subtracted 0.32
output → ReceivesAction → required 0.30
output → ReceivesAction → compressed 0.29
output → ReceivesAction → computed 0.29
output → ReceivesAction → connected in parallel 0.29
output → ReceivesAction → connected to input b of cell 0.29
output → ReceivesAction → directed 0.29
output → ReceivesAction → directed to current output stre… 0.29
output → ReceivesAction → driven 0.29
output → ReceivesAction → filtered 0.29
output → ReceivesAction → fixed 0.29
output → ReceivesAction → monitored 0.29
output → ReceivesAction → multiplexed 0.29
output → ReceivesAction → placed in the cell 0.29
output → ReceivesAction → resolved 0.29
output → ReceivesAction → saved 0.29
output → ReceivesAction → sent to device 0.29
output → ReceivesAction → specified with the -ooption 0.29
output → ReceivesAction → triggered in time 0.29
output → ReceivesAction → actuated 0.25
output → ReceivesAction → added to the accumulator 0.25
output → ReceivesAction → aggregated 0.25
output → ReceivesAction → appended 0.25
output → ReceivesAction → cached 0.25
output → ReceivesAction → compiled 0.25
output → ReceivesAction → connected to computing device 0.25
output → ReceivesAction → connected to inverting input 0.25
output → ReceivesAction → connected to mixer 0.25
output → ReceivesAction → connected to multiplexer 0.25
output → ReceivesAction → converted 0.25
output → ReceivesAction → corrected 0.25
output → ReceivesAction → delayed 0.25
output → ReceivesAction → displayed on neighbours_txt_file 0.25
output → ReceivesAction → displayed on the screen 0.25
output → ReceivesAction → fed into linker 0.25
output → ReceivesAction → fed through optional divider 0.25
output → ReceivesAction → filtered via lowpass filter 0.25
output → ReceivesAction → held 0.25
output → ReceivesAction → identified 0.25
output → ReceivesAction → inserted into the body of the e… 0.25
output → ReceivesAction → numbered 0.25
output → ReceivesAction → of same type 0.25
output → ReceivesAction → padded with 0 bits 0.25
output → ReceivesAction → passed as parameter 0.25
output → ReceivesAction → re 0.25
output → ReceivesAction → set low 0.25
output → ReceivesAction → used as the input of another 0.25
output → ReceivesAction → viewed with error 0.25
output → ReceivesAction → viewed with octreeneighbours.mc… 0.25
output → ReceivesAction → zero-centered 0.25
output → ReceivesAction → written 0.23
output → ReceivesAction → obtained 0.22
output → ReceivesAction → ignored 0.20
output → ReceivesAction → considered malignant 0.16
output → ReceivesAction → displayed in the page header 0.16
output → ReceivesAction → sent to the user 0.09