Outdated -rte-all option in RTE manual
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. useframa-c -help' for more information. [kernel] Frama-C aborted: invalid user input. dev~/r/l/src <3 frama-c -v 18.0 (Argon)