From 4b36f8220b703a2a89e5d3d20052f5e8fa9ae69d Mon Sep 17 00:00:00 2001 From: Lucca Hirschi Date: Wed, 18 Jul 2012 10:48:20 +0200 Subject: [PATCH] time_run --- one_benchmark | 2 +- src/bench.ml | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) 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 -- 2.17.1