X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tests%2Fdocs%2Fgenerate.sh;h=c5a0ea31f7889050d600b6cba6c3e039df9bff42;hb=refs%2Fheads%2Flucca-optim;hp=4dbfbaf09e0585b2da4d29d6621bd8a24d816f9a;hpb=354e8b82eb8f346a2573c0803bd9c1a33905a877;p=tatoo.git diff --git a/tests/docs/generate.sh b/tests/docs/generate.sh index 4dbfbaf..c5a0ea3 100755 --- a/tests/docs/generate.sh +++ b/tests/docs/generate.sh @@ -1 +1 @@ -./a.out -f 0.3 -o XPath-PT.xml -i \ No newline at end of file +./a.out -f 0.7 -o XPath-PT.xml -i \ No newline at end of file