On 6 May 2014 15:43, David Roe <roed.m...@gmail.com> wrote: >> Anyway, there are certainly (a lot of?) doctests that take quite some time, >> but don't use extraordinarily much memory, so I think John's idea isn't that >> bad. >
I am flattered, since praise from leif is quite hard to earn ;) In practice, it may be hard to gather the informatino on how much RAM tests take; at least the --voberse option in testing gives you the time for every test. John > +1 > >> -leif >> >> >>> >>> On Tuesday, May 6, 2014 11:26:47 AM UTC+2, John Cremona wrote: >>>> >>>> If these tests are known, they could perhaps be tagged just as we tag >>>> with "#long time" those which take a long time. Something like "# >>>> large RAM" required. I don't know if this is possible though. >>>> >>>> John >> >> -- >> 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 http://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. > > -- > 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 http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
