-
David Bühler authored
Only the functions whose body is analyzed are counted as covered by the analysis. The functions reached by the analysis but for which a builtin or the specification is used are not considered analyzed anymore. Summary: computes statistics only for analyzed function. Returns [None] for other functions.
David Bühler authoredOnly the functions whose body is analyzed are counted as covered by the analysis. The functions reached by the analysis but for which a builtin or the specification is used are not considered analyzed anymore. Summary: computes statistics only for analyzed function. Returns [None] for other functions.