Frama-C API - Metrics_coverage
See Metrics_coverage.
val compute_syntactic : libc:bool -> Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_datatype.Varinfo.Set.t
Frama-C Frama-C Metrics_coverageSee Metrics_coverage.
val compute_syntactic : libc:bool -> Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_datatype.Varinfo.Set.t