Ciao, Il Gio, 27 Dicembre 2012 10:39 pm, Torbjorn Granlund ha scritto: > bodr...@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/ _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org http://gmplib.org/mailman/listinfo/gmp-devel
