From c5a96736ef71b38487f077eb4a736b4846b4d121 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Mon, 28 Oct 2019 14:50:56 +0100
Subject: [PATCH] coverage.sh: check that the expected number of tests get
 executed

---
 coverage.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/coverage.sh b/coverage.sh
index 2b3508e..9b2ea0a 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -1720,6 +1720,11 @@ END
 	fi
 done
 
+if [ "$((i-1))" -ne "$total" ]; then
+	echo unexpected number of tests: got $((i-1)) but expected $total
+	exit 1
+fi
+
 if [ "$HAVE_QEMU" = "yes" ]; then
 	guestfish add-ro shared/cover_db.img : run : mount /dev/sda / : tar-out / - \
 		| tar -C shared/cover_db --extract