Pretty print of counters.

[tatoo.git] / benchmark

diff --git a/benchmark b/benchmark
index ca94537..a8d6c0f 100755 (executable)
--- a/benchmark
+++ b/benchmark
@@ -1,10 +1,10 @@
 #echo \#\#\# DOC :
 #cat ./tests/docs/XPath-PT.xml
 #echo
-for native in ./solve.native*; do
+for native in ./bench.native*; do
     echo $native
     for quer in ./tests/queries/XPath-PT/A1.xpl ; do
-        /usr/bin/time -l  $native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
+        /usr/bin/time -l  $native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/my.xpl
     done
     echo 
 done
\ No newline at end of file