| Anonymous | Login | Signup for a new account | 2019-02-17 03:52 CET |  |
| Main | My View | View Issues | Change Log | Roadmap | Repositories |
| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
| 0000197 | Frama-C | Kernel | public | 2009-07-21 15:03 | 2014-02-12 16:56 | ||||
| Reporter | rbonichon | ||||||||
| Assigned To | signoles | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Platform | OS | OpenBSD | OS Version | ||||||
| Product Version | Frama-C GIT, precise the release id | ||||||||
| Target Version | Fixed in Version | Frama-C Beryllium-20090901 | |||||||
| Summary | 0000197: Options <plug-in>-debug and <plug-in>-verbose for dynamic plug-ins do not work | ||||||||
| Description | CLI options <plug-in-name>-debug and <plug-in-verbose> which are made automagically available for dynamic plug-ins (as document by frama-c -<plug-in-name>-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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files | |||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0000285) correnson (manager) 2009-07-21 15:48 |
LC: I'm not sure the following line is the correct fix for bug 0000197 We must face the following problem: - Statically linked plugins: options are registered BEFORE the Early stage of parsing - Dynamically linked ones: options are registered DURING the Extending stage of parsing Thus, all dynamically linked plugins *should* never register options for the Early and Extending stages. => what about the verbose and debug options ??? I suggest to parse the -xxx-debug and -xxx-verbose options and the loading phase (thus, just before the configuring phase. To be confirmed by Julien. |
|
(0000286) correnson (manager) 2009-07-21 15:50 |
SVN version 5802 To be confirmed by Julien. |
|
(0000298) signoles (manager) 2009-07-23 13:53 |
The Loïc's patch is ok. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2009-07-21 15:03 | rbonichon | New Issue | |
| 2009-07-21 15:03 | rbonichon | Status | new => assigned |
| 2009-07-21 15:03 | rbonichon | Assigned To | => correnson |
| 2009-07-21 15:48 | correnson | Note Added: 0000285 | |
| 2009-07-21 15:50 | correnson | Note Added: 0000286 | |
| 2009-07-21 15:50 | correnson | Status | assigned => resolved |
| 2009-07-21 15:50 | correnson | Fixed in Version | => Frama-C svn, precise the release id |
| 2009-07-21 15:50 | correnson | Resolution | open => fixed |
| 2009-07-21 15:50 | correnson | Status | resolved => assigned |
| 2009-07-21 15:50 | correnson | Assigned To | correnson => signoles |
| 2009-07-22 15:48 | svn | Checkin | |
| 2009-07-22 16:08 | correnson | Note Added: 0000294 | |
| 2009-07-22 16:15 | correnson | Note Deleted: 0000294 | |
| 2009-07-22 16:16 | svn | Checkin | |
| 2009-07-23 13:53 | signoles | Note Added: 0000298 | |
| 2009-07-23 13:53 | signoles | Status | assigned => resolved |
| 2009-07-23 15:14 | svn | Checkin | |
| 2009-07-27 10:23 | svn | Checkin | |
| 2009-09-02 10:54 | signoles | Status | resolved => closed |
| 2009-09-23 16:57 | signoles | Fixed in Version | Frama-C svn, precise the release id => Frama-C Beryllium |
|
Issue History |
| Copyright © 2000 - 2019 MantisBT Team |
|