Hi, On Mon, May 08, 2017 at 09:23:30PM +0200, Vincent Delecroix wrote: > Hello Marcelo, > > Please have a look at > > https://trac.sagemath.org/ticket/19519
If we could have a similar feature for memory usage, that could be interesting, see e.g. https://trac.sagemath.org/ticket/22684 Ciao, Thierry > Vincent > > On 08/05/2017 10:35, mforets wrote: > >Hi, > >i wanted to know if there is a keyword that can be put next to a doctest to > >measure performance with respect to computation time, like: > > > >sage: possibly_long_calculation(..) # timeout 600s > >0 > > > >this is seems item 1) in this thread's OP, hence i'm attaching this > >question here (but please remove if it's not the case). so i didn't > >understand how to apply the proposed solution. where are all supported > >doctest keywords stored, to begin with? thanks! > > > >El jueves, 8 de octubre de 2009, 22:15:01 (UTC+2), John H Palmieri escribió: > >> > >>On Oct 8, 8:43 am, William Stein <wst...@gmail.com> wrote: > >>>On Thu, Oct 8, 2009 at 8:37 AM, Dr. David Kirkby > >>> > >>><david.kir...@onetel.net> wrote: > >>> > >>>>It is possible to increases the timeout time allocated for doctests. > >>> > >>>>1) For an individual test? > >>>>2) For all of them? > >>> > >>>>Perhaps this should be an environment variable, or similar if it is > >>not > >>>>already. > >>> > >>>The top of local/bin/sage-doctest says: > >>> > >>># if any of the following environment variables are set, use them for > >>># the timeout lengths. > >>>TIMEOUT = os.getenv('SAGE_TIMEOUT') > >>>TIMEOUT_LONG = os.getenv('SAGE_TIMEOUT_LONG') > >>>TIMEOUT_VALGRIND = os.getenv('SAGE_TIMEOUT_VALGRIND') > >> > >>This should be documented somewhere else, too. In the developer's > >>guide somewhere? > >> > >> 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 https://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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
