From 597159cdc6b58139df4f1a740ea6e3b23ee139b6 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 3 Oct 2011 13:04:34 +0000
Subject: [PATCH] update according to better precision of value analysis

---
 .../tests/e-acsl-runtime/oracle/other_constants.res.oracle      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
index e7827eda3aa..669a693e29f 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
@@ -3,7 +3,7 @@
 [value] Initial state computed
 [value] Values of globals at initialization
 PROJECT_FILE.i:134:[value] Assertion got status unknown.
-PROJECT_FILE.i:137:[value] Assertion got status unknown.
+PROJECT_FILE.i:137:[value] Assertion got status valid.
 [value] computing for function mpz_init_set_si <- main.
         Called from PROJECT_FILE.i:139.
 PROJECT_FILE.i:29:[value] Function mpz_init_set_si: postcondition got status valid.
-- 
GitLab