Assertion list
value (aspect of call ) → CapableOf

Results from Ascent++: 10
valueCapableOf indicate the number of times 0.41
valueCapableOf identify a resource port 0.31
valueCapableOf load into the processor's float… 0.31
valueCapableOf stop writing to a capture file 0.31
valueCapableOf be a list of function names 0.25
valueCapableOf depend on the setup time 0.25
valueCapableOf double within year 0.25
valueCapableOf increase in following few years 0.25
valueCapableOf indicate the number of calls 0.25
valueCapableOf switch to next file 0.25