frama-c always crashes when I install new plugins
ID0000737: This issue was created automatically from Mantis Issue 737. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000737 | Frama-C | Kernel | public | 2011-02-28 | 2011-10-10 |
| Reporter | smaulat | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
The crash happens when I try to install two "hello" plugins (as explained in the plugin-development-guide-Carbon-20110201.pdf): i.e. two plgins with the same short name.
Once I have tried to do this, frama-c always returns the same error, also when I don't give it any argument.