Thanks. I'll try to do this in the not-too-distant future, since this would be especially useful when working on bugs & doctesting entire directories.
john perry On Wednesday, December 17, 2014 6:33:19 PM UTC+3, David Roe wrote: > > No, but that's a good idea. The functions you should look at are > filter_sources and sort_sources in sage.doctest.control. For adding > options to the parser for sage -t, see SAGE_LOCAL/bin/sage-runtests. > David > > On Wed, Dec 17, 2014 at 6:33 AM, john_perry_usm <john....@usm.edu > <javascript:>> wrote: >> >> hello! >> >> I can see why someone might want longer doctests to be tried first, but >> is there a way to sort doctests so that *failed* doctests are tried first? >> >> thanks >> john perry >> >> -- >> 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+...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> 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.
