summaryrefslogtreecommitdiff
path: root/tune
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-02-20 16:37:55 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-02-20 16:37:55 +0000
commitd72cf4dd8c7b3ca4547ddd05c9c720c642610e74 (patch)
tree409053dbae31a0ba3f9495baa93d37b441fd1742 /tune
parent4b4e4ec0baab355a331279536d6b0565f2d12fdc (diff)
downloadmpfr-d72cf4dd8c7b3ca4547ddd05c9c720c642610e74.tar.gz
[tests/tdiv.c] improve coverage, now 100% for div.c
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12347 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tune')
0 files changed, 0 insertions, 0 deletions