Frama-C Bug Tracking System - Frama-C
View Issue Details
0000737Frama-CKernelpublic2011-02-28 15:232011-10-10 14:14
Frama-C Carbon-20110201 
Frama-C Nitrogen-20111001 
0000737: frama-c always crashes when I install new plugins
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.
No tags attached.
? (1,260) 2011-02-28 15:23
Issue History
2011-02-28 15:23smaulatNew Issue
2011-02-28 15:23smaulatFile Added:
2011-02-28 16:41pascalStatusnew => assigned
2011-02-28 16:41pascalAssigned To => signoles
2011-03-02 11:26signolesNote Added: 0001533
2011-03-02 11:26signolesStatusassigned => resolved
2011-03-02 11:26signolesResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed

2011-03-02 11:26   
There is now a nicer error message. Anyway you cannot have two plug-ins with the same short name.