diff options
Diffstat (limited to 'tests/run_tests.sh')
| -rwxr-xr-x | tests/run_tests.sh | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 7ab316c..691216b 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -28,7 +28,7 @@ make_header() { 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" @@ -153,11 +153,16 @@ fi 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 |