(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 11:20:58 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 15:12:45 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
if not (Bitvector.unsafe_get run.unstable i) then
incr count
done;
- eprintf "@[STATS: %i nodes over %i were skipped in iteration %i (%.2f %%), redo is: %b@]@."
+ Logger.msg `STATS
+ "%i nodes over %i were skipped in iteration %i (%.2f %%), redo is: %b"
!count len run.pass (100. *. (float !count /. float len))
run.redo
stats run;
run.pass <- run.pass + 1;
done;
- at_exit (fun () -> eprintf "@[STATS: %i iterations@]@." run.pass);
+ at_exit (fun () -> Logger.msg `STATS "%i iterations" run.pass);
at_exit (fun () -> stats run);
let r = get_results auto tree node run.config in