diff --git a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
index b829e722be512422c9dcc2b4975d168d25b70c21..a904b504644e2050f2ed6de2844b0b3c2bcb3a4f 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
+++ b/src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
@@ -5,4 +5,5 @@ tests/bts/bts1307.i:23:[e-acsl] warning: approximating a real number by a float
 tests/bts/bts1307.i:11:[e-acsl] warning: approximating a real number by a float
 [e-acsl] translation done in project "e-acsl".
 FRAMAC_SHARE/e-acsl/e_acsl.h:94:[value] warning: function __e_acsl_assert: precondition got status unknown.
-[value] user error: type long double not implemented. Using double instead
+[value] user error: type long double wider than 64 bits not supported.
+                    Using double instead for the remainder of the analysis.
diff --git a/src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle b/src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle
index 5cd81b76e9ff2584448c77c64a81a93e2c643da6..a54a14a8d905f603467f074c9a0f52b334b157d1 100644
--- a/src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle
+++ b/src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle
@@ -20,5 +20,6 @@ tests/gmp/cast.i:23:[e-acsl] warning: approximating a real number by a float
   __e_acsl_math_INFINITY ∈ [-1.79769313486e+308 .. 1.79769313486e+308]
 [value] using specification for function __e_acsl_memory_init
 [value] using specification for function __e_acsl_assert
-[value] user error: type long double not implemented. Using double instead
+[value] user error: type long double wider than 64 bits not supported.
+                    Using double instead for the remainder of the analysis.
 [value] done for function main
diff --git a/src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle b/src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle
index 9f712c261f846e37289f68d0855253ad85e36d6a..2787673575ff20e67ed4e9704a2ab92b3ca8b272 100644
--- a/src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle
+++ b/src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle
@@ -27,7 +27,8 @@ FRAMAC_SHARE/e-acsl/e_acsl.h:94:[value] warning: function __e_acsl_assert: preco
 [value] using specification for function __gmpz_clear
 [value] using specification for function __gmpz_get_ui
 [value] using specification for function __gmpz_init_set_ui
-[value] user error: type long double not implemented. Using double instead
+[value] user error: type long double wider than 64 bits not supported.
+                    Using double instead for the remainder of the analysis.
 tests/gmp/cast.i:23:[value] warning: accessing out of bounds index. assert 0 ≤ __gen_e_acsl_cast_9;
 tests/gmp/cast.i:23:[value] warning: accessing out of bounds index. assert __gen_e_acsl_cast_9 < 2;
 [value] done for function main