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 e7827eda3aafd98687826b9c9a675a363c841703..669a693e29fa758826c7f6d8ed6d1155a6d282ce 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.