X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=benchmark;fp=benchmark;h=ca945370e748f8f3c34f881c372d2040a239bb2a;hb=05eaaee159125065661a69fbe3d11f54a3534f3f;hp=0000000000000000000000000000000000000000;hpb=71804e81fe8aaa4c95073663b1cabdb5ba1dc87a;p=tatoo.git

diff --git a/benchmark b/benchmark
new file mode 100755
index 0000000..ca94537
--- /dev/null
+++ b/benchmark
@@ -0,0 +1,10 @@
+#echo \#\#\# DOC :
+#cat ./tests/docs/XPath-PT.xml
+#echo
+for native in ./solve.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
+    done
+    echo 
+done
\ No newline at end of file