From 67e324d8995c18445574415eb44abcfdce436bdc Mon Sep 17 00:00:00 2001
From: Scott <scott@wannabe.house>
Date: Mon, 24 Jan 2022 14:48:49 -0800
Subject: [PATCH] Add repro instructions for coverage in run_tests.sh.

---
 tests/run_tests.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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
-- 
2.46.0