thanks David and Vincent for your interesting insights :) i'll start to have a look..
1 motivation for this feature: when you have two or more implementations of the same problem and want to compare them based on running times. El lunes, 8 de mayo de 2017, 21:24:10 (UTC+2), vdelecroix escribió: > > Hello Marcelo, > > Please have a look at > > https://trac.sagemath.org/ticket/19519 > > 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.
