Skip to content
Snippets Groups Projects
Normal view Permalink
c11-keywords.3.res.oracle 350 B
Newer Older
Andre Maroneze's avatar
add test case for unsupported C11 keywords
Andre Maroneze committed
1 2 3 4 5 6 
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:26: Failure: 
  _Generic is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
  '-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.