On 2014-03-25 21:39, Nathann Cohen wrote:
Well. For instance keeping broken doctests in Sage would be nice I
think. You would see the bug each time you do a "sage -t" somewhere.
But that can confuse newcomers too...
Indeed. An important invariant of Sage releases is that all
(non-optional) doctests should pass on all supported systems. Let's keep
it that way.
That's why I thought that an optional flag for bugs would be nice
because developers could always enable it and see the bugs that do
exist.
As mentioned in this thread, this already exists.
Use "# known bug" which is equivalent to "# optional - bug"
and which can be tested using
./sage -t --optional=sage,bug [...]
--
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.
