1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
[kernel] Parsing ghost_parameters.c (with preprocessing)
[kernel] ghost_parameters.c:32: User Error:
Too few ghost arguments in call to function.
[kernel] ghost_parameters.c:33: User Error:
Too few ghost arguments in call to function.
[kernel] ghost_parameters.c:34: User Error:
Too few arguments in call to function.
[kernel] ghost_parameters.c:35: User Error:
Too few ghost arguments in call to function.
[kernel] ghost_parameters.c:35: User Error:
Too many arguments in call to function
[kernel] ghost_parameters.c:36: User Error:
Too many ghost arguments in call to function
[kernel] ghost_parameters.c:36: User Error:
Too few arguments in call to function.
[kernel] ghost_parameters.c:38: User Error:
Too few arguments in call to function.
[kernel] ghost_parameters.c:39: User Error:
Too few arguments in call to function.
[kernel] ghost_parameters.c:40: User Error:
Too few arguments in call to function.
[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.
|
