Frama-C Bug Tracking System - Frama-C
View Issue Details
0002418Frama-CDocumentation > manualspublic2018-12-14 09:482019-07-16 12:10
Frama-C 18-Argon 
Frama-C 20-CalciumFrama-C 20-Calcium 
0002418: Outdated -rte-all option in RTE manual
The frama-c v18.0 RTE manual[1] linked from the RTE website[0] in ch. 3 claims RTE has options -rte-all and -rte-no-all that the actual command line tool does not seem to recognize. I guess this is just outdated info. Note that the option is also mentioned in the text which I guess would have to be updated as well.

Thanks for the great work,

[0] [^]
[1] [^]
(this is one of the example command lines from the manual)
> dev~/r/l/src <3 frama-c -rte -rte-select f,g -rte-all -rte-mem
> [kernel] User Error: option `-rte-all' is unknown.
> use `frama-c -help' for more information.
> [kernel] Frama-C aborted: invalid user input.
> dev~/r/l/src <3 frama-c -v
> 18.0 (Argon)
No tags attached.
Issue History
2018-12-14 09:48jasegNew Issue
2019-01-15 10:30signolesNote Added: 0006733
2019-01-15 10:30signolesAssigned To => signoles
2019-01-15 10:30signolesStatusnew => acknowledged
2019-01-15 10:30signolesTarget Version => Frama-C 19-Potassium
2019-07-16 12:10signolesStatusacknowledged => resolved
2019-07-16 12:10signolesResolutionopen => fixed
2019-07-16 12:10signolesFixed in Version => Frama-C 20-Calcium
2019-07-16 12:10signolesTarget VersionFrama-C 19-Potassium => Frama-C 20-Calcium

2019-01-15 10:30   
Indeed options -rte-all and -rte-no-all has been removed from Frama-C Phosphorus (released in May 2017) .

The RTE manual should (and will) be updated accordingly.