Evaluation anf inference of formulas are now hconsed (in Formula).

[tatoo.git] / benchmark

diff --git a/benchmark b/benchmark
new file mode 100755 (executable)
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