diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
index c789997e5fa8b33649a2cc0806e137d306a01a60..8438c04ee4e2168cf3c22870c3fa5d772193a043 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
@@ -1,4 +1,3 @@
 gcc: autom4te.cache/: linker input file unused because linking not done
-gcc: doc/: linker input file unused because linking not done
 gcc: share/: linker input file unused because linking not done
 gcc: tests/: linker input file unused because linking not done
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
index 9464c770e751fd1aaf2d23b74a2393e42a9857d4..36ef1e3e940097b682cb58a8b06b5a3e53b76cd9 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
@@ -1,5 +1,4 @@
 [kernel] preprocessing with "gcc -C -E -I.  autom4te.cache/"
-[kernel] preprocessing with "gcc -C -E -I.  doc/"
 [kernel] preprocessing with "gcc -C -E -I.  share/"
 [kernel] preprocessing with "gcc -C -E -I.  tests/"
 /* Generated by Frama-C */
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
index e3ce7f6a71b72f01cb41ca7c2add20309c11a42d..e2e610c62b1c1a9948b6ef73dd970f821944b359 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
@@ -584,7 +584,8 @@ int main(void)
   }
   
   /*@ assert false ≢ true; */ ;
-  if (! ((int)false != (int)true)) { e_acsl_fail((char *)"(false != true)");
+  if (! ((unsigned int)false != (unsigned int)true)) {
+    e_acsl_fail((char *)"(false != true)");
   }
   __retres = 0;
   return (__retres);
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 2835d90b3ff9d7c3592f4175229af296d7f0aa52..5aebbdd4cb443f61fc54641e9d1d4de809979471 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
@@ -112,7 +112,8 @@ int main(void)
   }
   
   /*@ assert false ≢ true; */ ;
-  if (! ((int)false != (int)true)) { e_acsl_fail((char *)"(false != true)");
+  if (! ((unsigned int)false != (unsigned int)true)) {
+    e_acsl_fail((char *)"(false != true)");
   }
   __retres = 0;
   return (__retres);