diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1700.0.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1700.0.res.oracle
index 36ad7b7e87f2d5d621b502a5c97588c6ad2e5dcd..983b2ddb8e8ff5693361e16e4c59b8684deaabb5 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/bts1700.0.res.oracle
+++ b/src/plugins/e-acsl/tests/bts/oracle/bts1700.0.res.oracle
@@ -11,12 +11,12 @@
   __e_acsl_internal_heap ∈ [--..--]
   __memory_size ∈ [--..--]
 [value] using specification for function __store_block
-tests/bts/bts1700.i:10:[value] Assertion got status unknown.
+tests/bts/bts1700.i:10:[value] Assertion got status valid.
 [value] using specification for function __valid
 [value] using specification for function e_acsl_assert
 FRAMAC_SHARE/e-acsl/e_acsl.h:34:[value] Function e_acsl_assert: precondition got status unknown.
 [value] using specification for function __full_init
-tests/bts/bts1700.i:13:[value] Assertion got status unknown.
+tests/bts/bts1700.i:13:[value] Assertion got status valid.
 [value] using specification for function __initialized
 [value] using specification for function __delete_block
 [value] using specification for function __e_acsl_memory_clean
diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1700.1.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1700.1.res.oracle
index 36ad7b7e87f2d5d621b502a5c97588c6ad2e5dcd..983b2ddb8e8ff5693361e16e4c59b8684deaabb5 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/bts1700.1.res.oracle
+++ b/src/plugins/e-acsl/tests/bts/oracle/bts1700.1.res.oracle
@@ -11,12 +11,12 @@
   __e_acsl_internal_heap ∈ [--..--]
   __memory_size ∈ [--..--]
 [value] using specification for function __store_block
-tests/bts/bts1700.i:10:[value] Assertion got status unknown.
+tests/bts/bts1700.i:10:[value] Assertion got status valid.
 [value] using specification for function __valid
 [value] using specification for function e_acsl_assert
 FRAMAC_SHARE/e-acsl/e_acsl.h:34:[value] Function e_acsl_assert: precondition got status unknown.
 [value] using specification for function __full_init
-tests/bts/bts1700.i:13:[value] Assertion got status unknown.
+tests/bts/bts1700.i:13:[value] Assertion got status valid.
 [value] using specification for function __initialized
 [value] using specification for function __delete_block
 [value] using specification for function __e_acsl_memory_clean