Frama-C Bug Tracking System - Frama-C
View Issue Details
0002398Frama-CDocumentation > manualspublic2018-09-04 15:062018-11-30 10:07
jens 
signoles 
normalminoralways
closedfixed 
Frama-C 17-Chlorine 
Frama-C 18-ArgonFrama-C 18-Argon 
0002398: Name of RTE plugin in documentation
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?
See http://frama-c.com/download/rte-manual-Chlorine-20180501.pdf
No tags attached.
Issue History
2018-09-04 15:06jensNew Issue
2018-09-05 16:25signolesAssigned To => signoles
2018-09-05 16:25signolesStatusnew => assigned
2018-09-05 16:26signolesTarget Version => Frama-C 18-Argon
2018-09-06 11:21signolesNote Added: 0006640
2018-09-06 11:21signolesStatusassigned => resolved
2018-09-06 11:21signolesResolutionopen => fixed
2018-11-30 10:07signolesFixed in Version => Frama-C 18-Argon
2018-11-30 10:07signolesStatusresolved => closed

Notes
(0006640)
signoles   
2018-09-06 11:21   
The manual titles are now consistent. Both now refer to "RTE". Thank you for reporting this (old) inconsistency.