variable in then-part of "?:" in ACSL clause causes syntax error
ID0001993: This issue was created automatically from Mantis Issue 1993. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001993 | Frama-Clang | Plug-in > clang | public | 2014-11-27 | 2015-02-16 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| 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:
157.cpp:2:27: unexpected end of expression
The message disappears if "i" is replaced by "2" in the contract in line 2.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information