#18558: Test all (installed) optional packages by default
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_work
Type: | Milestone: sage-6.8
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
doctest framework | Work issues:
Keywords: | Commit:
Authors: | e45591ade00e925ecfb4ad08191c95add7dd5c84
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
u/ncohen/18558 |
Dependencies: |
#18456, #18124 |
-------------------------+-------------------------------------------------
Comment (by ncohen):
> Well I'm happy to let you work on this ticket. But if nobody steps up to
fix the failures: its better to fail and show an error (=this ticket) than
to silently fail (without this ticket).
Amen to that.
Technically, this ticket does not break doctests. It just reports doctests
which were already broken. And of course you can run `sage -t
--optional=sage` as before (all doctests will pass), the same way that you
can run `sage -t --optional=<your_packages>` in the latest beta to see all
broken doctests.
I cannot fix all broken doctests of all optional packages in Sage, and I
doubt that anybody can. If you set this ticket to `needs_work` until this
is done you will just kill the ticket, and achieve nothing. If this ticket
is merged, we will at last see the bugs that we missed until now, and fix
them progressively. We cannot keep hiding bugs, and pretend that they do
not exist just because we never run the optional doctests.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/18558#comment:23>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
