sig
type reachable_functions = {
syntactic : Cil_datatype.Varinfo.Set.t;
semantic : Cil_datatype.Varinfo.Set.t;
}
val percent_coverage : Metrics_coverage.reachable_functions -> float
val compute :
unit ->
Metrics_coverage.reachable_functions *
(Cil_datatype.Varinfo.Hashtbl.key * Cil_types.init) list
val compute_syntactic : Kernel_function.t -> Cil_datatype.Varinfo.Set.t
val compute_semantic : unit -> Cil_datatype.Varinfo.Set.t
val compute_coverage_by_fun :
Cil_datatype.Varinfo.Set.t ->
(Cil_types.kernel_function * int * int * float) list
val pp_reached_from_function :
Format.formatter -> Kernel_function.t -> unit
val pp_value_coverage :
unit -> (Format.formatter -> unit) * (Format.formatter -> unit)
val pp_stmts_reached_by_function : Format.formatter -> unit
end