projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a clean logger infrastructure.
[tatoo.git]
/
src
/
eval.ml
diff --git
a/src/eval.ml
b/src/eval.ml
index
d90be92
..
575ee09
100644
(file)
--- a/
src/eval.ml
+++ b/
src/eval.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 1
1:20:58
CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 1
5:12:45
CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
*)
INCLUDE "utils.ml"
@@
-145,7
+145,8
@@
END
if not (Bitvector.unsafe_get run.unstable i) then
incr count
done;
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
!count len run.pass (100. *. (float !count /. float len))
run.redo
@@
-170,7
+171,7
@@
END
stats run;
run.pass <- run.pass + 1;
done;
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
at_exit (fun () -> stats run);
let r = get_results auto tree node run.config in