Skip to content
Snippets Groups Projects
Normal view Permalink
const-assignments.1.res.oracle 361 B
Newer Older
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
1 2 3 4 5 6 
[kernel] Parsing tests/syntax/const-assignments.c (with preprocessing)
[kernel] tests/syntax/const-assignments.c:21: User Error: 
  Cannot assign to non-modifiable lval x
[kernel] User Error: stopping on file "tests/syntax/const-assignments.c" that has errors. Add
  '-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.