provide option to activate a plugin in command-line help
ID0001795: This issue was created automatically from Mantis Issue 1795. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001795 | Frama-Clang | Documentation > ACSL | public | 2014-06-02 | 2015-02-17 |
Reporter | Jochen | Assigned To | virgile | Resolution | open |
Priority | normal | Severity | text | Reproducibility | N/A |
Platform | - | OS | xubuntu-cfe13.10 | OS Version | - |
Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | - |
Description :
Trying to find out how to activate FromAnalysis on a test program, I found the option neither by "frama-c -help", nor by "frama-c -from-help". Contrary to what I guessed, "frama-c -from ..." reports a user error "option `-from' is unknown". Similarly, the main option should be given for every plug-in.
Moreover, "frama-c -from-help" should give a longer description than just "functional dependencies". Without an explanation of the basic functionality, the detailed tuning parameters are useless for a non-expert. Printing both general and particular information about opposite option names is a potential source of annoyance, given the poor documentation of the main properties.