suggest command-line option to report version of specified (or all) plug-in(s)
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.