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.
|ID0001795||Frama-Clang||Documentation > ACSL||public||2014-06-02||2015-02-17|
|Product Version||Frama-C Neon-20140301||Target Version||-||Fixed in Version||-|
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.