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.
|Plug-in > wp
|Fixed in Version
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.