Options <plug-in>-debug and <plug-in>-verbose for dynamic plug-ins do not work
ID0000197: This issue was created automatically from Mantis Issue 197. Further discussion may take place here.
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||Frama-C Beryllium-20090901|
CLI options -debug and which are made automagically available for dynamic plug-ins (as document by frama-c --help do not actually seem to exist at all as they are not recognized as valid CLI options.
In the case of the mthread plug-in it ends with the following message:
[kernel] error: option
-mthread-debug' is unknown. [kernel] error: use frama-c -help' for more information.