diff options
| author | loic <loic@dachary.org> | 2016-12-19 01:19:54 +0100 |
|---|---|---|
| committer | loic <loic@dachary.org> | 2016-12-19 01:19:54 +0100 |
| commit | c6a957e0e0ae7bdfe8f5425182188799918dd88a (patch) | |
| tree | f465795bc9c06f7ca0757b9d3a7830f478441da6 /doc/cmd.rst | |
| parent | 73c034283616600e78d82388a3891b5206ba5d39 (diff) | |
| download | python-coveragepy-c6a957e0e0ae7bdfe8f5425182188799918dd88a.tar.gz | |
html report --skip-covered with branches #433issue-433-2
Add a test because the code path is significantly different.
Also document --skip-covered with the coverage html command.
close #433
Diffstat (limited to 'doc/cmd.rst')
| -rw-r--r-- | doc/cmd.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/cmd.rst b/doc/cmd.rst index bbeff18..8b97ce3 100644 --- a/doc/cmd.rst +++ b/doc/cmd.rst @@ -366,6 +366,8 @@ is a data file that is used to speed up reporting the next time. If you generate a new report into the same directory, coverage.py will skip generating unchanged pages, making the process faster. +The ``--skip-covered`` switch will leave out any file with 100% coverage, +letting you focus on the files that still need attention. .. _cmd_annotation: |