From beb417019e98e480c5831ca71a6209706fdebb87 Mon Sep 17 00:00:00 2001
From: Nathan Koskas de Diego <nathan.koskasdediego@cea.fr>
Date: Mon, 9 May 2022 14:50:44 +0200
Subject: [PATCH] [Qed] update tests
---
src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle
index 35ee39d2488..2aa95174028 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle
@@ -235,7 +235,7 @@ end
goal wp_goal :
forall t:addr -> bool, t1:int -> int, t2:addr -> int, t3:addr -> int, t4:
addr -> int, a:addr.
- region (base a) <= 0 ->
+ region (a.base) <= 0 ->
is_sint16_chunk t3 ->
is_sint32_chunk t4 ->
is_sint8_chunk t2 ->
--
GitLab