Merge remote-tracking branch 'origin/lucca-tests-bench' into lucca-tests-bench
[tatoo.git] / one_benchmark
1 /usr/bin/time -l  ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl