if [ ${COVERAGE} -eq 1 ]; then
make_header "Code Coverage Report" "${GREEN}"
- coverage report --omit=config-3.8.py,*_test.py --sort=-cover
+ coverage report --omit=config-3.8.py,*_test.py,*_itest.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 " $ coverage report --omit=config-3.8.py,*_test.py,*_itest.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:"