Class Metrics_coverage.syntactic_printer

class syntactic_printer : libc:bool -> Cil_datatype.Varinfo.Set.t -> object .. end
Pretty-printer for syntactic coverage metrics.

method pp_reached_from_function : Format.formatter -> Kernel_function.t -> unit
Pretty-print the functions that can be syntactically reached from the parameter