class semantic_printer : libc:bool -> coverage_metrics ->
object
.. end
Pretty-printer for semantic coverage metrics. Includes syntactic coverage
metrics.
Inherits
method pp_unreached_calls : Format.formatter -> unit
Pretty-print semantically unreachable functions that are called by
semantically reachable functions.
method pp_value_coverage : 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 : Format.formatter -> unit