[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/axiom_ignored_bts1116.i (no preprocessing)
tests/spec/axiom_ignored_bts1116.i:2:[kernel] warning: Axiom l is declared outside of an axiomatic.
/* Generated by Frama-C */
/*@ ensures \result < 0; */
int ftest(int i)
{
  return i;
}


