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.