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.
|Documentation > ACSL
|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.