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 47905d279b006835d0397675421b912fab0b922a..910cff1aa784f7f216414880ab65cc8d0e445a24 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": 43 },
+                                                             "rank": 40 },
                                                          "qed": { "total": 2,
                                                                   "valid": 2 },
                                                          "wp:main": { "total": 3,
                                                                     "valid": 3,
-                                                                    "rank": 43 } },
+                                                                    "rank": 40 } },
                                 "memcpy_ensures_result_ptr": { "qed": 
                                                                  { "total": 1,
                                                                    "valid": 1 },