Add repro instructions for coverage in run_tests.sh.

1 files changed, 6 insertions, 1 deletions

diff --git a/tests/run_tests.sh b/tests/run_tests.sh
index db9f8cb..aa344a6 100755
--- a/tests/run_tests.sh
+++ b/tests/run_tests.sh
@@ -27,7 +27,7 @@ make_header() {
     local title="$1"
     local title_len=${#title}
     title_len=$((title_len + 4))
-    local width=70
+    local width=76
     local left=4
     local right=$(($width-($title_len+$left)))
     local color="$2"
@@ -150,6 +150,11 @@ fi
 if [ ${COVERAGE} -eq 1 ]; then
     make_header "Code Coverage Report" "${GREEN}"
     coverage report --omit=config-3.8.py --sort=-cover
+    echo
+    echo "To reproduce this report without run-running the tests, invoke:"
+    echo
+    echo "    $ coverage report --omit=config-3.8.py --sort=-cover"
+    echo
 fi
 
 if [ ${FAILURES} -ne 0 ]; then