diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2010-08-24 11:18:35 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2010-08-24 11:18:35 -0400 |
| commit | 9726ca6bbdc7d1ed5b0f732071210eed4ceada34 (patch) | |
| tree | 9bb3969d6654499547cd823d44c3e39a78d57563 /coverage/config.py | |
| parent | 07d2d57585186c8a6d88dd624a7348a58397f98d (diff) | |
| download | python-coveragepy-git-9726ca6bbdc7d1ed5b0f732071210eed4ceada34.tar.gz | |
New config setting: [report]precision lets you specify the number of digits after the decimal point in coverage percentages. Finishes issue #16.
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index 7c22f64b..1f6a879f 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -27,6 +27,7 @@ class CoverageConfig(object): self.ignore_errors = False self.omit = None self.include = None + self.precision = 0 # Defaults for [html] self.html_dir = "htmlcov" @@ -87,6 +88,8 @@ class CoverageConfig(object): self.omit = self.get_list(cp, 'report', 'omit') if cp.has_option('report', 'include'): self.include = self.get_list(cp, 'report', 'include') + if cp.has_option('report', 'precision'): + self.precision = cp.getint('report', 'precision') # [html] if cp.has_option('html', 'directory'): |