diff --git a/src/plugins/wp/tests/wp_plugin/config.sh b/src/plugins/wp/tests/wp_plugin/config.sh
index 64004c51ddea7ee92b065d6e41e86d3a8f10019c..d0f7c134c09979614f7908269d1d33e30e9dc8f1 100755
--- a/src/plugins/wp/tests/wp_plugin/config.sh
+++ b/src/plugins/wp/tests/wp_plugin/config.sh
@@ -4,8 +4,25 @@ ERGO=`alt-ergo -version`
 WHY3=`why3 --version`
 
 echo "----------------------------------------------------------"
-echo "WP Requirements for Qualif Tests (3)"
+echo "WP Requirements for Qualif Tests"
 echo "----------------------------------------------------------"
+
+#------ Alt-Ergo version
 echo "1. The Alt-Ergo theorem prover, version ${ERGO}"
+
+#------ Why3 version
 echo "2. The ${WHY3}"
+
+#------ FRAMAC_WP_CACHEDIR
+if [ "${FRAMAC_WP_CACHEDIR}" = "" ]; then
+    echo "3. Error: undefined FRAMAC_WP_CACHEDIR variable"
+else
+    echo "3. The environment variable FRAMAC_WP_CACHEDIR is defined"
+fi
+#------ FRAMAC_WP_CACHE
+if [ "${FRAMAC_WP_CACHE}" = "" ]; then
+    echo "4. Error: undefined FRAMAC_WP_CACHE variable"
+else
+    echo "4. The environment variable FRAMAC_WP_CACHE is defined"
+fi
 echo "----------------------------------------------------------"
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
index bdae904b176d5799a42a2c3f84f8b6190c311e27..746a2a97a2559b60e74e43158516741580b3a1c6 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
@@ -1,6 +1,8 @@
 ----------------------------------------------------------
-WP Requirements for Qualif Tests (3)
+WP Requirements for Qualif Tests
 ----------------------------------------------------------
 1. The Alt-Ergo theorem prover, version 2.2.0
 2. The Why3 platform, version 1.5.0
+3. The environment variable FRAMAC_WP_CACHEDIR is defined
+4. The environment variable FRAMAC_WP_CACHE is defined
 ----------------------------------------------------------