From da2a1ea99c9eabb2d4e63537c35aebbd104d162b Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 25 Feb 2019 13:44:51 +0100
Subject: [PATCH] [WP/tests] updating report oracle for string_c
---
.../wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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 910cff1aa78..47905d279b0 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 },
--
GitLab