ID0002418: **This issue was created automatically from Mantis Issue 2418. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002418 | Frama-C | Documentation > manuals | public | 2018-12-14 | 2020-02-17 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | jaseg | **Assigned To** | signoles | **Resolution** | fixed | | **Priority** | low | **Severity** | trivial | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C 18-Argon | **Target Version** | Frama-C 20-Calcium | **Fixed in Version** | Frama-C 20-Calcium | ### Description : 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, jaseg [0] https://frama-c.com/rte.html [1] https://frama-c.com/download/frama-c-rte-manual.pdf ### Steps To Reproduce : (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)