On Fri, Nov 23, 2018 at 4:23 PM Simon King <simon.k...@uni-jena.de> wrote:
>
> Hi Jeroen,
>
> On 2018-11-23, Jeroen Demeyer <j.deme...@ugent.be> wrote:
> > On 2018-11-22 18:45, 'Martin R' via sage-devel wrote:
> >> 1) would it be easy and desirable to make the patchbots run tests in
> >> random order?
> >
> > Easy: yes
> > Desirable: no, it would create a lot of doctest failures
>
> ... whose fixing is likely to make Sage run more stably. Afte all,
> doctests that fail when being executed in a different order mean that
> there are side-effects. And side-effects imply instability.
>
> So, I'd tend to believe that it is desirable.

+1 There are several tests which, when run in an unusual order, result
in random failures.  This is obviously a failure of test isolation if
nothing else, and such cases *should* be rooted out and fixed.   There
are quite a lot of them though--I've stumbled on them many times but
rarely bothered with it myself.

But as a matter of principle I agree with the suggestion of running
tests in random order and fixing any problems that arise.  Perhaps for
now there would be too many failures that it shouldn't be the default.
But I would definitely encourage anyone who wants to to try to fix
some of those failures...

-- 
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.

Reply via email to