On Fri, 27 Apr 2018, paul zimmermann wrote: >> https://gmplib.org/devel/lcov/shell/gmp/mini-gmp/mini-mpq.c.gcov.html > > 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. -- Marc Glisse