From 03e475601e1141dbfef3a2ba6826bc48dbf99b95 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 20 Feb 2019 08:50:07 +0100
Subject: [PATCH] [WP/tests] updates an oracle
---
src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json b/src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json
index 910cff1aa78..47905d279b0 100644
--- a/src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json
+++ b/src/plugins/wp/tests/wp_plugin/string_c.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