equal
deleted
inserted
replaced
845 morfs = globbed |
845 morfs = globbed |
846 |
846 |
847 morfs = self.filter_by_prefix(morfs, omit_prefixes) |
847 morfs = self.filter_by_prefix(morfs, omit_prefixes) |
848 morfs.sort(self.morf_name_compare) |
848 morfs.sort(self.morf_name_compare) |
849 |
849 |
850 max_name = max([5,] + map(len, map(self.morf_name, morfs))) |
850 max_name = max([5] + map(len, map(self.morf_name, morfs))) |
851 fmt_name = "%%- %ds " % max_name |
851 fmt_name = "%%- %ds " % max_name |
852 fmt_err = fmt_name + "%s: %s" |
852 fmt_err = fmt_name + "%s: %s" |
853 header = fmt_name % "Name" + " Stmts Exec Cover" |
853 header = fmt_name % "Name" + " Stmts Exec Cover" |
854 fmt_coverage = fmt_name + "% 6d % 6d % 5d%%" |
854 fmt_coverage = fmt_name + "% 6d % 6d % 5d%%" |
855 if show_missing: |
855 if show_missing: |