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.
|Product Version||-||Target Version||-||Fixed in Version||-|
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.