On 10 November 2012 20:22, John H Palmieri <jhpalmier...@gmail.com> 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. Dave -- 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.
