Skip to content
Snippets Groups Projects
Commit d883c69d authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ghost] Renames some files

parent 0be4c5a5
No related branches found
No related tags found
No related merge requests found
File moved
File moved
Warning: tests/syntax/ghost-else-bad.c:32: Invalid ghost else ignored
[kernel] Parsing tests/syntax/ghost-else.i (no preprocessing) [kernel] Parsing tests/syntax/ghost_else.i (no preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
/* run.config /* run.config
OPT: -no-autoload-plugins -keep-comments -print OPT: -no-autoload-plugins -keep-comments -print
......
[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing) [kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
[kernel] tests/syntax/ghost-else-bad.c:20: User Error: Cannot resolve variable z [kernel] tests/syntax/ghost_else_bad.c:20: User Error: Cannot resolve variable z
[kernel] User Error: stopping on file "tests/syntax/ghost-else-bad.c" that has errors. Add [kernel] User Error: stopping on file "tests/syntax/ghost_else_bad.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command. '-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input. [kernel] Frama-C aborted: invalid user input.
Warning: tests/syntax/ghost_else_bad.c:32: Invalid ghost else ignored
[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing) [kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
void if_ghost_else_block_bad(int x, int y) void if_ghost_else_block_bad(int x, int y)
{ {
......
[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing) [kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
[kernel] tests/syntax/ghost-else-bad.c:47: [kernel] tests/syntax/ghost_else_bad.c:47:
syntax error: syntax error:
Location: between lines 47 and 49, before or at token: else Location: between lines 47 and 49, before or at token: else
45 if(x){ 45 if(x){
......
[kernel] Parsing tests/syntax/ghost-else-bad-oneline.i (no preprocessing) [kernel] Parsing tests/syntax/ghost_else_bad_oneline.i (no preprocessing)
[kernel] tests/syntax/ghost-else-bad-oneline.i:6: [kernel] tests/syntax/ghost_else_bad_oneline.i:6:
syntax error: syntax error:
Location: between lines 6 and 8, before or at token: Location: between lines 6 and 8, before or at token:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment