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". -- 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
