Blame · tests/syntax/oracle/c11-keywords.0.res.oracle · 277955656059c510be9715e47b30fc5376faa244 · pub / frama-c · GitLab

Snippets Groups Projects

c11-keywords.0.res.oracle 188 B

Newer Older

[tests] execution from result directories: oracle updates

Patrick Baudin committed 3 years ago

[kernel] Parsing c11-keywords.c (with preprocessing)

add test case for new keywords

Andre Maroneze committed 1 year ago

[kernel] c11-keywords.c:14: User Error:

add test case for unsupported C11 keywords

Andre Maroneze committed 3 years ago

  _Alignas is currently unsupported by Frama-C.
[kernel] Frama-C aborted: invalid user input.