Re: [sage-devel] achieving 90% coverage

2012-11-10 Thread John H Palmieri
On Saturday, November 10, 2012 1:11:44 PM UTC-8, Dr. David Kirkby wrote: > > On 10 November 2012 20:22, John H Palmieri > > wrote: > > With sage-5.4.rc4, I see > > > > Overall weighted coverage score: 88.9% > > > > If we change the coverage script to ignore directories containing > > 'n

Re: [sage-devel] achieving 90% coverage

2012-11-10 Thread David Kirkby
On 10 November 2012 20:22, John H Palmieri 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

[sage-devel] achieving 90% coverage

2012-11-10 Thread John H Palmieri
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 c