class semantic_printer :libc:bool -> coverage_metrics ->
object
..end
Pretty-printer for semantic coverage metrics. Includes syntactic coverage metrics.
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