C99 and GMP

paul zimmermann Paul.Zimmermann at inria.fr
Fri Apr 27 07:33:56 UTC 2018

> > 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?


More information about the gmp-devel mailing list