Merge remote-tracking branch 'origin/lucca-tests-bench' into lucca-tests-bench
[tatoo.git] / correct_test
1 ./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries