missing lower bound of ACSL operator ".." not detected by Magnesium
ID0002230: This issue was created automatically from Mantis Issue 2230. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002230 | Frama-C | Plug-in > wp | public | 2016-06-13 | 2016-06-21 |
Reporter | Jochen | Assigned To | correnson | Resolution | suspended |
Priority | none | Severity | feature | Reproducibility | always |
Platform | Magnesium | OS | xubuntu-14.04 | OS Version | - |
Product Version | Frama-C Magnesium | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
The Frama-C Magnesium parser didn't complain about the missing lower bound of "..".
The Frama-C Aluminium parser does find the syntax error (in fact, this was the way we detected it).
We therefore intend this issue not as a bug report, but merely as another regression test on future Frama-C releases. There is nothing to be fixed now.