From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 21 Oct 2012 10:25:07 +0000 (+0200)
Subject: Do not print number of runs/average/min/max timing when a function
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=31f256a6c02a9c5ce2f8b1117738ff5bc818dc60;p=SXSI%2Fxpathcomp.git

Do not print number of runs/average/min/max timing when a function
is only timed once.
---

diff --git a/src/utils.ml b/src/utils.ml
index 3832998..2cb3c41 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -84,6 +84,16 @@ module Timing =
       in
       Logger.verbose fmt "@[%s%s: [" sub msg;
       Format.pp_open_vbox fmt (2 + String.length msg + String.length sub);
+      if len <= 1 then
+      Logger.verbose fmt
+        "@\n\
+| Time        :   %fms@\n\
+| Memory before:  %a@\n\
+| Memory after:   %a@\n]@]@]@\n"
+        tmin
+        System.pr_mem_status memo
+        System.pr_mem_status memn
+      else
       Logger.verbose fmt
         "@\n\
 | Number of runs: %i@\n\
@@ -128,7 +138,7 @@ let time f ?(count=1) ?(msg="") x =
     Queue.clear _t_queue;
     List.iter (fun msg' ->
       let sub =
-        if msg' <> msg then "(sub-timing) " else ""
+        if msg' <> msg then "> " else "= "
       in
       display_result Format.err_formatter msg' sub (get_timing msg')) pr_stack;
   end;