Skip to content
Snippets Groups Projects
Normal view Permalink
c11-keywords.3.res.oracle 190 B
Newer Older
Patrick Baudin's avatar
[tests] execution from result directories: oracle updates  
Patrick Baudin committed
1 
[kernel] Parsing c11-keywords.c (with preprocessing)
Andre Maroneze's avatar
add test case for new keywords  
Andre Maroneze committed
2 
[kernel] c11-keywords.c:29: User Error:
Andre Maroneze's avatar
add test and update test oracles  
Andre Maroneze committed
3 
  _Imaginary is currently unsupported by Frama-C.
Andre Maroneze's avatar
add test case for unsupported C11 keywords
Andre Maroneze committed
4 
[kernel] Frama-C aborted: invalid user input.