bodrato at bodrato at
Thu Dec 27 22:51:29 CET 2012


Il Gio, 27 Dicembre 2012 10:39 pm, Torbjorn Granlund ha scritto:
> bodrato at writes:
>   Unfortunately, the common case is not tested by our testsuite!
>   Only check-mini-gmp stress-tests it ;-)
> Fortunately, our own coverage runs disagree:

> I have no idea why hydra differs.  I use a plain build, and no fancy

I guess: Hydra does not run "make check-mini-gmp", we do.


More information about the gmp-devel mailing list