Class Metrics_coverage.semantic_printer

class semantic_printer : libc:bool -> coverage_metrics -> object .. end

Pretty-printer for semantic coverage metrics. Includes syntactic coverage metrics.

Inherits
method pp_unreached_calls : Stdlib.Format.formatter -> unit

Pretty-print semantically unreachable functions that are called by semantically reachable functions.

method pp_value_coverage : Stdlib.Format.formatter -> unit

Pretty-print value coverage information, including functions syntactically and semantically reachable from the entry point, as well as coverage percentage.

method pp_stmts_reached_by_function : Stdlib.Format.formatter -> unit