ID0001813: **This issue was created automatically from Mantis Issue 1813. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001813 | Frama-Clang | General | public | 2014-06-20 | 2015-02-19 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | feature | **Reproducibility** | N/A | | **Platform** | - | **OS** | xubuntu-cfe13.10 | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : When comparing different behaviors of FRAMA-C on different machines, it would be useful to be able to obtain version information not only for FRAMA-C itself, but also for the involved plug-ins. For example, an option "-PLUGINNAME-version", similar to the existing "-PLUGINNAME-help", could provide this information. Alternatively, "-version" could report in addition the version of each plug-in. If there is already such an option, it should be reported by the general "frama-c -help" command.