Bug in example - plugin documentation
ID0001979: This issue was created automatically from Mantis Issue 1979. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001979 | Frama-C | Documentation > manuals | public | 2014-11-21 | 2016-06-21 |
| Reporter | gavran | Assigned To | Matthieu Lemerre | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | Linux | OS | Debian | OS Version | 7 |
| Product Version | Frama-C Neon-20140301 | Target Version | Frama-C Sodium | Fixed in Version | Frama-C Sodium |
Description :
In Plugin development guide (available at frama-c.com/download.html, chapter 2.3.2 code for method vstmt_aux:
- color should be defined without brackets (currently, it is inside [ ] which is duplicating brakets and yields syntax error)