[Testing] counts the number of generated *.res.log

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"