projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Cosmetic changes (truncate long lines, remove trailing spaces…)
[tatoo.git]
/
src
/
tatoo.ml
diff --git
a/src/tatoo.ml
b/src/tatoo.ml
index
ca16227
..
485d8e1
100644
(file)
--- a/
src/tatoo.ml
+++ b/
src/tatoo.ml
@@
-122,7
+122,8
@@
let main () =
in
let s = Naive.stats () in
Run.(
in
let s = Naive.stats () in
Run.(
- Logger.msg `STATS "@[tree size: %d@\ntraversals: %d@\ncache2 hit ratio: %f@\ncache5 hit ratio: %f@]"
+ Logger.msg `STATS
+ "@[tree size: %d@\ntraversals: %d@\ncache2 hit ratio: %f@\ncache5 hit ratio: %f@]"
s.tree_size s.run
(float s.cache2_hit /. float s.cache2_access)
(float s.cache5_hit /. float s.cache5_access));
s.tree_size s.run
(float s.cache2_hit /. float s.cache2_access)
(float s.cache5_hit /. float s.cache5_access));