Re: [sage-devel] Random doctest error in real_double.pyx

2016-01-25 Thread Jeroen Demeyer
On 2016-01-25 14:28, Eric Gourgoulhon wrote: Should this doctest be skipped by adding the marker # random to it? Even better: remove the whole time_alloc() function with its doctests. It's not clear what those doctests test anyway... -- You received this message because you are subscribed to

[sage-devel] Random doctest error in real_double.pyx

2016-01-25 Thread Eric Gourgoulhon
Hi, It appears that occasionaly the following doctest error occurs in src/sage/rings/real_double.pyx: File "src/sage/rings/real_double.pyx", line 2789, in sage.rings.real_double.time_alloc Failed example: pool_stats() Expected: Used pool 0 / 0 times Pool contains 7 / 50 items Got: