[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/aorai/assigns.c (with preprocessing)
[aorai] Welcome to the Aorai plugin
/* Generated by Frama-C */
int X;
void f(void)
{
  X ++;
  return;
}

/*@ assigns X;
    
    behavior foo:
      assigns X; */
int main(void)
{
  /*@ assigns X; */
  X ++;
  /*@ assigns X; */
  f();
  return X;
}


[kernel] Found project "default"
[kernel] Found project "aorai"
