projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
minor
[tatoo.git]
/
bench_test
diff --git
a/bench_test
b/bench_test
index
b3b7bb8
..
b1103ec
100755
(executable)
--- a/
bench_test
+++ b/
bench_test
@@
-1,7
+1,7
@@
#echo \#\#\# DOC :
#cat ./tests/docs/XPath-PT.xml
#echo
-for quer in ./tests/queries/XPath-PT/A
1
.xpl ; do
+for quer in ./tests/queries/XPath-PT/A
*
.xpl ; do
echo $quer:
cat "$quer"
./solve.native ./tests/docs/XPath-PT.xml -f "$quer"