Metrics.Metrics_coverage
See Metrics_coverage.
Metrics_coverage
val compute_syntactic : libc:bool -> Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_datatype.Varinfo.Set.t