[Libc] fix typo in ACSL specification

share/libc/string.h

@@ -66,7 +66,7 @@ extern int memcmp (const void *s1, const void *s2, size_t n);
 
 /*@ requires valid:
          valid_read_or_empty(s, n)
-         || \valid_read(((unsigned char*)s)+(..memchr_off((char*)s,c,n)));
+         || \valid_read(((unsigned char*)s)+(0..memchr_off((char*)s,c,n)));
   @ requires initialization:
         \initialized(((unsigned char*)s)+(0..n - 1))
      || \initialized(((unsigned char*)s)+(0..memchr_off((char*)s,c,n)));

tests/libc/oracle/fc_libc.1.res.oracle

@@ -5431,7 +5431,7 @@ char *strrchr(char const *s, int c)
 /*@ requires
       valid:
         valid_read_or_empty(s, n) ∨
-        \valid_read((unsigned char *)s + (.. memchr_off((char *)s, c, n)));
+        \valid_read((unsigned char *)s + (0 .. memchr_off((char *)s, c, n)));
     requires
       initialization:
         \initialized((unsigned char *)s + (0 .. n - 1)) ∨