GMP autotools upgrade

Fri Sep 11 05:31:57 UTC 2015

Ciao,

Il Dom, 6 Settembre 2015 10:29 pm, Torbjörn Granlund ha scritto:
> This means that tests are run with the help of a script, test-driver,
> which reports things differently.

Does this mean that we will not be able to see the
Seed GMP_CHECK_RANDOMIZE=....
line on the log of failing tests in https://gmplib.org/devel/tm-date.html ?

We must find a work-around, otherwise catching subtle bugs will be _much_
harder...

> It also allows for parallel test runs.

We should reorder the tests then, eg. reuse in tests/mpz should start
earlier.

Regards,
m

-- 
http://bodrato.it/papers/