X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=one_benchmark;fp=one_benchmark;h=1affafc2be671d8e26302e6776dee944f7f5f8fd;hb=23f38d4b2cbe1da33efab3c04df478ecd0f20894;hp=0000000000000000000000000000000000000000;hpb=05eaaee159125065661a69fbe3d11f54a3534f3f;p=tatoo.git

diff --git a/one_benchmark b/one_benchmark
new file mode 100755
index 0000000..1affafc
--- /dev/null
+++ b/one_benchmark
@@ -0,0 +1 @@
+/usr/bin/time -l  ./solve.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file