C99 and GMP
marc.glisse at inria.fr
Fri Apr 27 07:48:20 UTC 2018
On Fri, 27 Apr 2018, Marc Glisse wrote:
> On Fri, 27 Apr 2018, paul zimmermann wrote:
>>>> quite interesting. Why is gmp/mpn not tested in the head coverage?
>>> It is tested. It appears as /var/tmp/lcov/gmp/mpn because it is a set of
>>> symlinks created at build time.
>> sorry I missed that. I see some of the files are not tested at all
>> (add_err3_n.c for example), and some have a low coverage (div_qr_1.c
>> for example). Are there any plans to improve that?
> Even for the generic files, the coverage varies per target, maybe add_err3_n
> is better tested on ARM or something (not really answering your question).
Hmm, no, mpn_add_err3_n really seems completely unused. There is a refmpn
implementation ready for comparisons...
More information about the gmp-devel