(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-22 15:31:24 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-22 17:12:11 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
redo := top_down_run auto tree node cache !iter;
incr iter;
done;
- at_exit (fun () -> eprintf "INFO: %i iterations\n" !iter);
+ at_exit (fun () -> eprintf "@[STATS: %i iterations@]@." !iter);
let r = get_results auto tree node cache in
TRACE(Html.gen_trace (module T : Tree.S with type t = T.t) (tree));
r