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.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000197 | Frama-C | Kernel | public | 2009-07-21 | 2014-02-12 |
| Reporter | rbonichon | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | OpenBSD | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Beryllium-20090901 |
Description :
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.