From b12d3d087eac4042f14b7ff66e2452800070b128 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 18 Feb 2021 12:14:21 +0100
Subject: [PATCH] [wp] naming pre-conditions
---
src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
index 561960415e8..aca8b840d48 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
@@ -38,7 +38,7 @@ Assume {
Init: A_1[2] = 12.
(* Initializer *)
Init: forall i : Z. ((3 <= i) -> ((i <= 19) -> (A_1[i] = 0))).
- (* Pre-condition *)
+ (* Pre-condition 'Init' *)
Have: EqArray_int(20, A, A_1).
}
Prove: x = 12.
--
GitLab