C99 and GMP

Marc Glisse marc.glisse at inria.fr
Fri Apr 27 07:42:15 UTC 2018

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 

Marc Glisse

More information about the gmp-devel mailing list