On Wed, Jul 20, 2011 at 9:29 AM, John H Palmieri <jhpalmier...@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 ...
Keep in mind that optional tests are almost never run by anybody, so
the main current utility of including them is that readers of
documentation see them.
William
>
> --
> 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
>
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
--
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
