diff options
| author | mzuenni <michi.zuendorf@gmail.com> | 2024-09-07 22:19:53 +0200 |
|---|---|---|
| committer | mzuenni <michi.zuendorf@gmail.com> | 2024-09-07 22:19:53 +0200 |
| commit | acdc3eaf1035fd840ee5b522f98bcae6d28464e2 (patch) | |
| tree | 051efc9c0e09ea3ee33096785775d0f96741347c /test | |
| parent | fe54314b7b57fc703c2b3e3e6e2cd1f8ce9f5b83 (diff) | |
coverage
Diffstat (limited to 'test')
| -rwxr-xr-x | test/test.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/test.sh b/test/test.sh index 52ffcc1..68a6370 100755 --- a/test/test.sh +++ b/test/test.sh @@ -62,8 +62,12 @@ list_missing() { fi done if [[ -v $1 ]]; then - coverage=$((100*(total-missing)/total)) + covered=$((total-missing)) + coverage=$((100*covered/total)) echo "COVERAGE=$coverage" + echo "TOTAL=$total" + echo "COVERED=$covered" + echo "MISSING=$missing" fi } |
