Frama-C Bug Tracking System - Frama-C
View Issue Details
0000737Frama-CKernelpublic2011-02-28 15:232011-10-10 14:14
smaulat 
signoles 
normalcrashalways
closedfixed 
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.
? frama-c_crash_20110228_hello.tr (1,260) 2011-02-28 15:23
https://bts.frama-c.com/file_download.php?file_id=179&type=bug
Issue History
2011-02-28 15:23smaulatNew Issue
2011-02-28 15:23smaulatFile Added: frama-c_crash_20110228_hello.tr
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

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