ghost_parameters.11.res.oracle 380 B
[kernel] Parsing ghost_parameters.c (with preprocessing)
[kernel] ghost_parameters.c:195:
syntax error:
Location: line 195, column 36, before or at token: )
193 #ifdef VOID_EMPTY_GHOST_PARAMETER_LIST
194
195 void function_void(void) /*@ ghost () */ {
^
196
197 }
[kernel] Frama-C aborted: invalid user input.