From b6d03391ab7a4ed0e1dc9883a90ee10d089ced00 Mon Sep 17 00:00:00 2001
From: peter <peter@pmikkelsen.com>
Date: Sun, 30 Aug 2026 13:28:19 +0000
Subject: 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
---
 tools/checkcov | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tools')

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);
+}
 '
-- 
cgit v1.2.3