mpz_combit

[bodrato at mail.dm.unipi.it]

Ciao,

Il Gio, 27 Dicembre 2012 10:39 pm, Torbjorn Granlund ha scritto:
> bodrato at mail.dm.unipi.it writes:
>   Unfortunately, the common case is not tested by our testsuite!
>
>   http://hydra.nixos.org/build/3594794/download/1/coverage/mpz/combit.c.gcov.html
>
>   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.

-- 
http://bodrato.it/