summaryrefslogtreecommitdiff
path: root/doc/cmd.rst
diff options
context:
space:
mode:
authorloic@dachary.org <loic@dachary.org>2016-12-19 01:19:54 +0100
committerloic@dachary.org <loic@dachary.org>2016-12-19 01:19:54 +0100
commit1b24e9a292281239135e7c6aeedaaeec7fe7d858 (patch)
tree7542a7451f65880c622ebcb41d1175c94f99220c /doc/cmd.rst
parentc863b83d505397c1af74c152f4f3900c80877073 (diff)
downloadpython-coveragepy-git-1b24e9a292281239135e7c6aeedaaeec7fe7d858.tar.gz
html report --skip-covered with branches #433
Add a test because the code path is significantly different. Also document --skip-covered with the coverage html command. close #433 --HG-- branch : issue-433-2
Diffstat (limited to 'doc/cmd.rst')
-rw-r--r--doc/cmd.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/cmd.rst b/doc/cmd.rst
index bbeff182..8b97ce37 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: