Frama-C API - Metrics_cilast
See Metrics_cilast.
val get_metrics_map : libc:bool -> Metrics_base.BasicMetrics.t Metrics_base.OptionKf.Map.t Frama_c_kernel.Datatype.Filepath.Map.t
Frama-C Frama-C Metrics_cilastSee Metrics_cilast.
val get_metrics_map : libc:bool -> Metrics_base.BasicMetrics.t Metrics_base.OptionKf.Map.t Frama_c_kernel.Datatype.Filepath.Map.t