From bbbed9483011989aa79299b7e00a32089a6063f0 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 4 Jul 2022 14:35:22 +0200
Subject: [PATCH] [WP] tests - config.sh
---
src/plugins/wp/tests/wp_plugin/config.sh | 19 ++++++++++++++++++-
.../wp_plugin/oracle_qualif/config.res.oracle | 4 +++-
2 files changed, 21 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/tests/wp_plugin/config.sh b/src/plugins/wp/tests/wp_plugin/config.sh
index 64004c51dde..d0f7c134c09 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 bdae904b176..746a2a97a25 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
----------------------------------------------------------
--
GitLab