X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftatoo.ml;h=2b901d47480314c8fc9b9b8b617b37c5ca7c86e1;hp=5e8144da55a55d75ed2f76c3622858c5100a9932;hb=6bf7e46a9e33989261c349cbe532c6eec1585427;hpb=8e3a510161dcc03eb0d2b8a6293327b9eea15369

diff --git a/src/tatoo.ml b/src/tatoo.ml
index 5e8144d..2b901d4 100644
--- a/src/tatoo.ml
+++ b/src/tatoo.ml
@@ -72,6 +72,14 @@ let main () =
       Gc.compact();
       Gc.set (tuned_gc)
   in
+  let () =
+    let rec loop node = if node == Runtime.Tree.nil then () else
+        let i = Runtime.Tree.preorder doc node in
+        let () = loop (Runtime.Tree.first_child doc node) in
+        loop (Runtime.Tree.next_sibling doc node)
+    in
+    time loop (Runtime.Tree.root doc) "calibrating full traversal"
+  in
   let queries =
     time
       (fun l ->