1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
[kernel] Parsing ghost_parameters.c (with preprocessing)
[kernel] ghost_parameters.c:133: User Error:
Declaration of function does not match previous declaration from ghost_parameters.c:127 (different number of ghost arguments).
[kernel] ghost_parameters.c:133: User Error:
Inconsistent formals
131 }
132
133 void function(int a, int b) /*@ ghost(int c, int d) */ {
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
134
135 }
[kernel] User Error: stopping on file "ghost_parameters.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
|
