[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/const.c (with preprocessing)
tests/spec/const.c:1:[kernel] warning: parsing obsolete ACSL construct 'logic declaration'. 'an axiomatic block' should be used instead.
/* Generated by Frama-C */
/*@ logic ℤ strlen(char *c) ;
 */
/*@ requires strlen(c) < n;
    ensures strlen(\old(a)) ≤ \old(n); */
void f(char const *c, char * __restrict a, int n)
{
  return;
}


