From 83cae35aaf81ba9b18826895c9defb1e09895230 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 30 Jun 2022 09:54:08 +0200
Subject: [PATCH] [Testing] counts the number of generated *.res.log

---
 share/Makefile.testing | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/share/Makefile.testing b/share/Makefile.testing
index 4a4a7defa43..494507d20ae 100644
--- a/share/Makefile.testing
+++ b/share/Makefile.testing
@@ -160,6 +160,10 @@ tests.update-wp-cache: config.sed
 .PHONY: tests
 ifneq ($(FRAMAC_WP_CACHEDIR),)
 tests: run-tests
+	echo "Number of *.res.log files:"
+	find $(addprefix _build/default/,$(PTEST_DIRS)) -name \*.res.log \
+        | $(GREP) -c "^"
+
 else
 tests: run-tests
 	@echo "Warning: cannot run some tests related to WP plugin since FRAMAC_WP_CACHEDIR variable is undefined."
@@ -169,6 +173,12 @@ tests: run-tests
 	@echo "> FRAMAC_WP_CACHEDIR=<DIR>/wp-cache make tests"
 endif
 
+.PHONY: count-tests
+count-tests:
+	echo "Number of *.res.log files:"
+	find $(addprefix _build/default/,$(PTEST_DIRS)) -name \*.res.log \
+        | $(GREP) -c "^"
+
 ###############################################################################
 # Local Variables:
 # compile-command: "make"
-- 
GitLab