On Thursday, July 19, 2012 2:45:09 PM UTC-7, Martin wrote:
>
> Anne Schilling writes: 
>
> > Here are several *ideas*: 
> > 
> > * We should run daily tests on the "needs review" section and pop 
> patches 
> >   off that section if the tests do not pass (or people are not actively 
> working 
> >   on making them pass). 
> > 
> > * Everyone should try to get their patches into main-sage in a 
> reasonable 
> >   time frame or remove their patches from the queue if they are 
> outdated. 
> > 
> > * Perhaps we should have a second queue for only the patches currently 
> >   actively developed and in the review or final development process. 
> >   This queue would only be maintained on the very last version of sage 
> >   and patches are removed once the next version of sage comes out. 
> >   This would take the extra constraints off developers to, at the same 
> time, 
> >   make their patch apply cleanly on a given version of sage and juggle 
> >   the tail of sage-combinat patches that lie on top of it. 
> >   This caused quite some frustration to both Franco and Mike and myself 
> last 
> >   week trying to work on some large patches. 
>
> Although I am now relieved that I didn't break anything, let me add one 
> other idea: in the unittesting package for fricas, two things turned out 
> to be very useful: 
>
> 1) being able to mark tests as "expected to fail" 
>

You can mark a doctest as

     sage: 2+2  # known bug
     5

Then it won't get run ordinarily, but you can do "sage -t 
-only-optional=bug FILE.py" to run doctests marked this way. It doesn't 
quite do what you want, since the number of skipped tests is not reported. 
But maybe that could be added on to the new doctesting framework being 
developed at <http://trac.sagemath.org/sage_trac/ticket/12415>.

-- 
John

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/sage-combinat-devel/-/43dodjTRo2wJ.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.

Reply via email to