enum types in contract cause syntax error
ID0001982: This issue was created automatically from Mantis Issue 1982. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001982 | Frama-Clang | Plug-in > clang | public | 2014-11-24 | 2015-02-16 |
| Reporter | Jochen | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | frama-c-Neon-20140301+dev-stance | OS | - | OS Version | xubuntu-cfe13.10 |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
144.cpp:4:22: keyword 'keyword -> enum' encountered when parsing a type Now output intermediate result
The message disappears if the file is renamed to "144.c".
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information