Module Metrics.Metrics_coverage

module Metrics_coverage: sig .. end
See Metrics_coverage.

val compute_syntactic : libc:bool -> Kernel_function.t -> Cil_datatype.Varinfo.Set.t