X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fbench.ml;fp=src%2Fbench.ml;h=a020d159a4dcda0d25c924e4096e040ee662cbb5;hb=4b36f8220b703a2a89e5d3d20052f5e8fa9ae69d;hp=563f1d5c4afac9d961293adba86651693b47d213;hpb=f608b765e000a540be707b35966eaea90ced268c;p=tatoo.git

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