diff --git a/src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c b/src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c
index 0ce7ca09746d6078a3018ce862b48f82d181ee27..3408a9d5cd5b3182d88c007e7ac4a0151d87f882 100644
--- a/src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c
+++ b/src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c
@@ -39,6 +39,9 @@ int main(int argc, char const **argv)
   /*@ assert g1 ≡ \null ∨ \valid(g1); */
   {
     int __gen_e_acsl_or;
+    /*@ assert
+        Value: ptr_comparison: \pointer_comparable((void *)g1, (void *)0);
+    */
     if (g1 == (char *)0) __gen_e_acsl_or = 1;
     else {
       int __gen_e_acsl_initialized;
@@ -60,6 +63,9 @@ int main(int argc, char const **argv)
   /*@ assert g2 ≡ \null ∨ \valid(g2); */
   {
     int __gen_e_acsl_or_2;
+    /*@ assert
+        Value: ptr_comparison: \pointer_comparable((void *)g2, (void *)0);
+    */
     if (g2 == (char *)0) __gen_e_acsl_or_2 = 1;
     else {
       int __gen_e_acsl_initialized_2;
diff --git a/src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle b/src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle
index b315d3a44d1e09011f14ae1b8c1bf10fb34145cd..27722df6cd9871f65f0e50e98645ca0f2e4832f6 100644
--- a/src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle
+++ b/src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle
@@ -2,10 +2,10 @@
 [e-acsl] Warning: annotating undefined function `getenv':
   the generated program may miss memory instrumentation
   if there are memory-related annotations.
-[e-acsl] FRAMAC_SHARE/libc/stdlib.h:417: Warning: 
+[e-acsl] FRAMAC_SHARE/libc/stdlib.h:419: Warning: 
   E-ACSL construct `logic function application' is not yet supported.
   Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/stdlib.h:417: Warning: 
+[e-acsl] FRAMAC_SHARE/libc/stdlib.h:419: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
 [e-acsl] translation done in project "e-acsl".