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 : 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