Code coverage on tapir2.ro.vutbr.cz now has GMP support

[Jonathan Leto]

Howdy,

I would just like to inform everybody that our autogenerated code
coverage on tapir2 now has GMP, so it reports a lot better (and
correct)
coverage for things that use GMP, i.e:

http://tapir2.ro.vutbr.cz/cover/cover-results/44981/c_cover/src-dynpmc-rational-pmc.html

Everyone can thank mj41++ for this.

Duke


-- 
Jonathan "Duke" Leto
jonathan at leto.net
http://leto.net