X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=5a7f120432d6da86a9b378b8788343b0be0c2d46;hb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;hp=0064adc269a98fe76baaa28b16c9e4d166889e2a;hpb=343ce6fc6c893c69b4820a17b4b6a0be7cd50d87;p=SXSI%2Fxpathcomp.git diff --git a/main.ml b/main.ml index 0064adc..5a7f120 100644 --- a/main.ml +++ b/main.ml @@ -96,7 +96,7 @@ let main v query_string output = (* let _ = test_text v in *) (* let _ = Tree.stats v in *) let _ = Printf.eprintf "Timing first_child/next_sibling %!" in - let _ = time ~count:5 (Tree.benchmark_fcns) v in (* + let _ = time ~count:0 (Tree.benchmark_fcns) v in (* let _ = Printf.eprintf "Timing last_child/prev_sibling %!" in let _ = time (Tree.benchmark_lcps) v in let _ = Printf.eprintf "Timing jump to a %!" in @@ -165,7 +165,7 @@ let main v query_string output = begin let _ = Gc.full_major();Gc.compact() in let _ = Printf.eprintf "%!" in -(* let _ = Gc.set (disabled_gc) in *) + let _ = Gc.set (disabled_gc) in if !Options.backward && ((snd test_list) != `NOTHING )then if !Options.count_only then let r = time_mem (bottom_up_count auto v )(snd test_list) in