projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'lucca-tests-bench' into lucca-extentions
[tatoo.git]
/
bench_test
diff --git
a/bench_test
b/bench_test
index
82104b2
..
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/*.xpl ; do
+
#
echo \#\#\# DOC :
+
#
cat ./tests/docs/XPath-PT.xml
+
#
echo
+for quer in ./tests/queries/XPath-PT/
A
*.xpl ; do
echo $quer:
cat "$quer"
./solve.native ./tests/docs/XPath-PT.xml -f "$quer"
echo $quer:
cat "$quer"
./solve.native ./tests/docs/XPath-PT.xml -f "$quer"