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