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 c205459c40e783cbc059e45cb05cd3609a7d3129..64c74fa75549aa41a9d543aecc4c816a17fbd226 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
@@ -2,6 +2,6 @@
WP Requirements for Qualif Tests (3)
----------------------------------------------------------
1. The Alt-Ergo theorem prover, version 2.0.0
-2. The Why3 platform, version 1.2.0
+2. The Why3 platform, version 1.1.1
3. The Coq Proof Assistant, version 8.9.0
----------------------------------------------------------
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json
index 910cff1aa784f7f216414880ab65cc8d0e445a24..47905d279b006835d0397675421b912fab0b922a 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json
@@ -36,12 +36,12 @@
"memcpy_loop_assigns": { "alt-ergo":
{ "total": 1,
"valid": 1,
- "rank": 40 },
+ "rank": 43 },
"qed": { "total": 2,
"valid": 2 },
"wp:main": { "total": 3,
"valid": 3,
- "rank": 40 } },
+ "rank": 43 } },
"memcpy_ensures_result_ptr": { "qed":
{ "total": 1,
"valid": 1 },