let pp_stmts_reached_by_function fmt =
let semantic = compute_semantic () in
let l = compute_coverage_by_fun semantic in
let sum_total, sum_value = List.fold_left
(fun (at, av) (_, t, v, _) -> at+t, av+v) (0, 0) l in
let percent = 100. *. (float_of_int sum_value) /. (float_of_int sum_total) in
Format.fprintf fmt "@[<v 0>Statements analyzed by Value@ ----------------------------@ %d stmts in analyzed functions, %d stmts analyzed (%.1f%%)@ "
sum_total sum_value percent;
List.iter (fun (kf, total, _, percent) ->
Format.fprintf fmt "%a: %.1f%% (%d stmts)@ "
Kernel_function.pretty kf percent total
) l;
Format.fprintf fmt "@]"