On Saturday, November 10, 2012 1:11:44 PM UTC-8, Dr. David Kirkby wrote:
>
> On 10 November 2012 20:22, John H Palmieri <jhpalm...@gmail.com<javascript:>> 
> wrote: 
> > With sage-5.4.rc4, I see 
> > 
> >   Overall weighted coverage score:  88.9% 
> > 
> > If we change the coverage script to ignore directories containing 
> > 'nodoctest.py', then we get 
> > 
> >   Overall weighted coverage score:  90.5% 
> > 
> > It's a simple patch, just adding two lines to sage-coverage. Should we 
> apply 
> > it or is it cheating? 
> > 
> > -- 
> > John 
>
> I feel it is cheating, and it will make comparing old figures with new 
> figures impossible. 
>

By the way, to clarify: this will only affect the 'server' directory. which 
consists of unused code (old notebook code, superseded by sagenb), since 
that's the only place there are files called 'nodoctest.py'.

-- 
John

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.


Reply via email to