Name of RTE plugin in documentation
ID0002398: This issue was created automatically from Mantis Issue 2398. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002398 | Frama-C | Documentation > manuals | public | 2018-09-04 | 2018-11-30 |
| Reporter | jens | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 17-Chlorine | Target Version | Frama-C 18-Argon | Fixed in Version | Frama-C 18-Argon |
Description :
The RTE plugin manual has two titles: On the title page it reads "Annotation Generation". On the third page it reads "Frama-C’s annotation generator plug-in". Neither title mentions "RTE". Is this intentional?
Steps To Reproduce :
See http://frama-c.com/download/rte-manual-Chlorine-20180501.pdf