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

2016-01-26 Thread Eric Gourgoulhon
This is now http://trac.sagemath.org/ticket/19962 

Le lundi 25 janvier 2016 15:19:31 UTC+1, Volker Braun a écrit :
>
> I've seen random test error there, too. +1 to removing them.
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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

2016-01-25 Thread Volker Braun
I've seen random test error there, too. +1 to removing them.



On Monday, January 25, 2016 at 8:28:16 AM UTC-5, Eric Gourgoulhon wrote:
>
> 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:
> Used pool 0 / 0 times
> Pool contains 9 / 50 items
> **
> File "src/sage/rings/real_double.pyx", line 2793, in 
> sage.rings.real_double.time_alloc
> Failed example:
> pool_stats()
> Expected:
> Used pool 0 / 0 times
> Pool contains 7 / 50 items
> Got:
> Used pool 0 / 0 times
> Pool contains 9 / 50 items
>
>
> This happens sometimes on my computer when running make ptestlong, cf. 
> https://groups.google.com/d/msg/sage-release/JybpUxMZINc/QNc0WxNvDQAJ
> but also on the patchbot librae, see e.g. the recent log
>
> http://patchbot.sagemath.org/log/18529/Ubuntu/14.04/x86_64/3.13.0-76-generic/librae/2016-01-25%2001:12:55?short
>
> Should this doctest be skipped by adding the marker # random to it? 
> If yes, I'll open a ticket for it. 
>
> Eric.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.