diff options
| author | peter <peter@pmikkelsen.com> | 2026-08-31 20:22:47 +0000 |
|---|---|---|
| committer | peter <peter@pmikkelsen.com> | 2026-08-31 20:22:47 +0000 |
| commit | 8b0beb9e6a57c1d4f1e7b0b06523dd0fc538771a (patch) | |
| tree | 9bb8b689020d5098ea3c31251ddcd2fbb9524a7c /tools | |
| parent | d361abaeb8dcf19446a9322737ea600b22568a5b (diff) | |
| parent | f9f9b10c1d17077632d7a09e447e629b8d33b23d (diff) | |
Merge memory manager changes into trunk
FossilOrigin-Name: af583e3ba70b2d10efdead8e03a42fe5c1b94d6b387522833606c138b527a653
Diffstat (limited to 'tools')
| -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); +} ' |