[Cocci] Increase precision for display of SmPL script execution durations
julia.lawall at lip6.fr
Thu May 31 07:57:12 CEST 2018
On Thu, 31 May 2018, SF Markus Elfring wrote:
> >> How do you think about to show this detail precisely?
> > Normally, one uses --profile to find the things that take seconds,
> > not to find the thing that take less than 0.01 seconds.
> These values might look negligible.
> I find the display of the information “0.000 sec” inappropriate.
> An adjustment (of a format string) could be so simple like the following.
> diff --git a/commons/common.ml b/commons/common.ml
> index 7cbeceaf..ca5399ad 100644
> --- a/commons/common.ml
> +++ b/commons/common.ml
> @@ -657,7 +657,7 @@ let profile_diagnostic () =
> pr "profiling result";
> pr "---------------------";
> xs +> List.iter (fun (k, (t,n)) ->
> - pr (Printf.sprintf "%-40s : %10.3f sec %10d count" k !t !n)
> + pr (Printf.sprintf "%-40s : %f sec %10d count" k !t !n)
I know that the change is simple. But I don't want to see so many digits,
most of which are meaningless. In 46.742592, I'm only interested in the
More information about the Cocci