On Tue, 21 Mar 2017, David Roe wrote:
currently not stored anywhere. The place you'll need to change is line 566
of sage/doctest/parsing.py, where you'll need to do something like
Thanks for pointing right files. I opened #22661 for this and also put in
some example code.
--
Jori Mäntysalo
Sure, but it will take some changes to the parser. Currently the #long tag
only affects whether the test is added to the list of tests to be run.
Once that has been decided, the fact that a test was marked with #long is
currently not stored anywhere. The place you'll need to change is line 566
of
Is it possible to modify doctesting framework to have different time for
tests marked with # long time? Something like sage --warn-long 1,10 could
give warning for only doctests taking more than 10 seconds if they are
explicitly marked as slow.
--
Jori Mäntysalo
