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.
|ID0002230||Frama-C||Plug-in > wp||public||2016-06-13||2016-06-21|
|Product Version||Frama-C Magnesium||Target Version||-||Fixed in Version||Frama-C Aluminium|
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.