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"
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