diff --git a/share/Makefile.testing b/share/Makefile.testing
index 4a4a7defa43da26ad96b0e630bcd6894c613f8e0..494507d20ae3d6a6eae7d1b32005dbddc07e90ee 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"