diff options
Diffstat (limited to 'tools/checkcov')
| -rwxr-xr-x | tools/checkcov | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/checkcov b/tools/checkcov index c228c2f..ac3cf91 100755 --- a/tools/checkcov +++ b/tools/checkcov @@ -31,6 +31,7 @@ BEGIN { function miss(t){ printf("%c %s:%d %s\n", t, file, line, src) + missing_count++; } /^condition outcomes covered [0-9]+\/[1-9][0-9]*/ { @@ -70,4 +71,8 @@ function miss(t){ miss("L") next } + +END { + printf("\nMissing coverage: %d\n", missing_count); +} ' |