projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
354e8b8
)
minor
author
Lucca Hirschi
<lucca.hirschi@gmail.com>
Mon, 16 Jul 2012 13:22:04 +0000
(15:22 +0200)
committer
Lucca Hirschi
<lucca.hirschi@gmail.com>
Mon, 16 Jul 2012 13:22:04 +0000
(15:22 +0200)
bench_test
patch
|
blob
|
history
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"