Merge branch 'lucca-tests-bench' into lucca-extentions
[tatoo.git] / bench_test
1 #echo \#\#\# DOC :
2 #cat ./tests/docs/XPath-PT.xml
3 #echo 
4 for quer in ./tests/queries/XPath-PT/A*.xpl ; do
5     echo $quer:
6     cat "$quer"
7     ./solve.native ./tests/docs/XPath-PT.xml -f "$quer"
8     cat "$quer".swr
9     echo 
10 done