Add overall coverage to report

2019-05-14 13:00:06 -05:00 · 2019-05-14 13:00:06 -05:00 · a72cd0e486
commit a72cd0e486
parent f3fa2b6bd2
1 changed files with 2 additions and 0 deletions
--- a/scripts/coverage_test.sh
+++ b/scripts/coverage_test.sh
@ -8,6 +8,8 @@ check_coverage() {
  if (( "${coverage_int}" < "${MIN_COVERAGE}" )) ; then
    echo "Coverage is at ${coverage_float}, but the required coverage is ${MIN_COVERAGE}"
    exit 1
+  else
+    echo "Overall coverage: ${coverage_float} of statements"
  fi
 }