projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
43a31a9
)
Benchmark script.
author
Lucca Hirschi
<lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:21:58 +0000
(13:21 +0200)
committer
Lucca Hirschi
<lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:23:11 +0000
(13:23 +0200)
benchmark
[new file with mode: 0755]
patch
|
blob
diff --git a/benchmark
b/benchmark
new file mode 100755
(executable)
index 0000000..
37e4eed
--- /dev/null
+++ b/
benchmark
@@ -0,0
+1,10
@@
+#echo \#\#\# DOC :
+#cat ./tests/docs/XPath-PT.xml
+#echo
+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
+ done
+ echo
+done
\ No newline at end of file