Start work on the memory manager. It is becomming a burden that it doesn't know how to request more memory, or how to collect garbage.

FossilOrigin-Name: 1eb8eb8b8d8fd58a29bbeafa1ebb9f3618a31a5dcb45b860d2a5be6305775583

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);
+}
 '