From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Wed, 18 Jul 2012 08:48:33 +0000 (+0200)
Subject: Merge branch 'lucca-tests-bench' into lucca-optim
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=5bac94748500779dd9df226a518ed24f45d8e44d;hp=1b76d38b3809763a339c089c6a1701c85fba335d;p=tatoo.git

Merge branch 'lucca-tests-bench' into lucca-optim
---

diff --git a/one_benchmark b/one_benchmark
index a139a0e..1c401c6 100755
--- a/one_benchmark
+++ b/one_benchmark
@@ -1 +1 @@
-/usr/bin/time -l  ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/my.xpl
\ No newline at end of file
+/usr/bin/time -l  ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file
diff --git a/src/bench.ml b/src/bench.ml
index 563f1d5..a020d15 100644
--- a/src/bench.ml
+++ b/src/bench.ml
@@ -44,5 +44,8 @@ let () =
   let doc = doc () in
   let query = query () in
   let asta = Compil.trans query in
+  let t1 = Unix.gettimeofday() in
   let _ = compute_run doc asta in
+  let t2 = Unix.gettimeofday() in
+  let () = fprintf err_formatter "Time for Run (ms): %f\n%!" ((t2-.t1)*.1000.) in
   exit 0