Skip to content
Snippets Groups Projects
Normal view Permalink
array_size.3.res.oracle 299 B
Newer Older
Virgile Prevosto's avatar
[tests] add various tests for incorrect VLA declarations
Virgile Prevosto committed
1 
[kernel] Parsing array_size.c (with preprocessing)
Virgile Prevosto's avatar
[typing] better contextualization of error msg on unexpected VLA  
Virgile Prevosto committed
2 
[kernel] array_size.c:30: User Error: Global arrays cannot have variable size
Virgile Prevosto's avatar
[tests] add various tests for incorrect VLA declarations
Virgile Prevosto committed
3 4 5 
[kernel] User Error: stopping on file "array_size.c" that has errors. Add '-kernel-msg-key pp'
  for preprocessing command.
[kernel] Frama-C aborted: invalid user input.