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