On Wednesday, July 20, 2011 9:36:22 AM UTC-7, William wrote: > > On Wed, Jul 20, 2011 at 9:29 AM, John H Palmieri <jhpalm...@gmail.com> > wrote: > > On Wednesday, July 20, 2011 12:14:09 AM UTC-7, Maarten Derickx wrote: > >> > >> Maybe since we already mark doctest as #optional or #random or #long or > >> something we should add another marker which say's #known bug. > > > > Apparently you can already do this, but it's not documented in the > > developer's guide: in the script sage-doctest, having a test marked "# > known > > bug" is treated exactly the same as if it's marked "# optional". > > I think I wrote that long ago. Given that now there are tags for > optional, I might prefer > > # optional - bug > > That way one could doctest exactly the known bugs in the sage library, > if one wanted to for some reason. > > sage -t --only_optional=bug ... > See <http://trac.sagemath.org/sage_trac/ticket/11615>.
-- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
