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.