diff options
| author | Scott <[email protected]> | 2022-01-24 14:48:49 -0800 |
|---|---|---|
| committer | Scott <[email protected]> | 2022-01-24 14:48:49 -0800 |
| commit | 67e324d8995c18445574415eb44abcfdce436bdc (patch) | |
| tree | 43a5ee773d22e383f6cb8f2906c23c473aa8e3e6 /tests/run_tests.sh | |
| parent | 298a4ff1dca7c75993eae2317a777829828ae04a (diff) | |
Add repro instructions for coverage in run_tests.sh.
Diffstat (limited to 'tests/run_tests.sh')
| -rwxr-xr-x | tests/run_tests.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index db9f8cb..aa344a6 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -27,7 +27,7 @@ make_header() { 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" @@ -150,6 +150,11 @@ fi 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 |