syntax error message refers to (true error line + 5 lines)
ID0000840: This issue was created automatically from Mantis Issue 840. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000840 | Frama-C | Kernel | public | 2011-05-27 | 2014-02-12 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | text | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
Description :
In the attached program, I confused "ensures" and "assert" in the contract of p() in line 20. However, the syntax error message refers to 5 lines below (i.e. line 25). If the error is moved e.g. to line 10 the message refers to line 15.
Usually there is other C- or Acsl-code after the error; the message is rather confusing in that cases.