local title="$1"
local title_len=${#title}
title_len=$((title_len + 4))
- local width=76
+ local width=70
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
+ coverage report --omit=config-3.8.py,*_test.py --sort=-cover
echo
- echo "Note: to recall this report without run-running the tests, invoke:"
+ echo "To recall this report w/o run-running the tests:"
echo
- echo " $ coverage report --omit=config-3.8.py --sort=-cover"
+ echo " $ coverage report --omit=config-3.8.py,*_test.py --sort=-cover"
+ echo
+ echo "...from the 'tests' directory. Note that subsequent calls to "
+ echo "run_tests.sh with --coverage will klobber previous results. See:"
+ echo
+ echo " https://coverage.readthedocs.io/en/6.2/"
echo
fi