bodr...@mail.dm.unipi.it writes: Ciao, Il Gio, 27 Dicembre 2012 12:12 pm, Niels ha scritto: > Torbjorn Granlund <t...@gmplib.org> writes: >> I thought we had discussed this. The change is fine, optimising the >> common case is a great thing in general. 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:
http://gmplib.org/devel/lcov/panda/gmp/mpz/combit.c.gcov.html http://gmplib.org/devel/lcov/tom/gmp/mpz/combit.c.gcov.html http://gmplib.org/devel/lcov/shell/gmp/mpz/combit.c.gcov.html I have no idea why hydra differs. I use a plain build, and no fancy nightbuild features for running longer tests. > Maybe it would be good to keep that file in the repo? That's a good idea. More specifically? I have moved from meta files in the distribution/repo towards web in recent years. What purpose would moving in the other direction serve? OK, I am web dictator, but not repo dictator. (That is just a result of lack of infrastructure. I'd be more than happy to change it, we just need some mechanism for making a push trigger an rsync.) -- Torbjörn _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org http://gmplib.org/mailman/listinfo/gmp-devel
