+if [ ${COVERAGE} -eq 1 ]; then
+ make_header "Code Coverage Report" "${GREEN}"
+ coverage report --omit=config-3.8.py,*_test.py --sort=-cover
+ echo
+ echo "To recall this report w/o run-running the tests:"
+ echo
+ 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
+