X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Futils.ml;h=7e3bb4bb11d40a86829a70fce3f4378420627b36;hb=refs%2Fheads%2Fmaster;hp=0efe748ef208147fb23dddcfa6e34cbbb8d35c4b;hpb=96e2e786eb8c229d9aa4676a7067fd2f0d2e4da9;p=SXSI%2Fxpathcomp.git

diff --git a/src/utils.ml b/src/utils.ml
index 0efe748..7e3bb4b 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -82,15 +82,16 @@ module Timing =
            om, nm))
           (infinity, 0., 0., 0, h, h) l
       in
-      Logger.verbose fmt "@[%s%s: @[<v 0>[" sub msg;
+      Logger.start_msg fmt "[Stats] ";
+      Logger.msg fmt "%s %s:@\n    @[<v 0>[" sub msg;
       begin
         if len <= 1 then
-        Logger.verbose fmt
+        Logger.msg fmt
           "@\n\
-| Time        :   %fms@\n"
+| Time:           %fms@\n"
           tmin
       else
-        Logger.verbose fmt
+        Logger.msg fmt
           "@\n\
 | Number of runs: %i@\n\
 | Average time:   %fms@\n\
@@ -102,11 +103,12 @@ module Timing =
           tmax
 
       end;
-      Logger.verbose fmt
+      Logger.msg fmt
 "| Memory before:  %a@\n\
-| Memory after:   %a@\n]@]@]@\n@?"
+| Memory after:   %a@\n]@]"
         System.pr_mem_status memo
-        System.pr_mem_status memn
+        System.pr_mem_status memn;
+      Logger.end_msg fmt "\n\n"
 
 
 let time f ?(count=1) ?(msg="") x =
@@ -137,7 +139,7 @@ let time f ?(count=1) ?(msg="") x =
     Queue.clear _t_queue;
     List.iter (fun msg' ->
       let sub =
-        if msg' <> msg then "> " else "= "
+        if msg' <> msg then "+" else "="
       in
       display_result Format.err_formatter msg' sub (get_timing msg')) pr_stack;
   end;