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 -- 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.
