The checkin-triggered coverage analysis at http://gmplib.org/devel/lcov/ had a bug that caused it to be somewhat optimisitic, excluding most files where no function is called. This has now been fixed. -- Torbjörn