Frama-C Bug Tracking System - Frama-C
View Issue Details
0000163Frama-CKernelpublic2009-06-25 10:222009-09-02 10:54
sduprat 
monate 
normalcrashalways
closedfixed 
Frama-C Beryllium-20090601-beta1 
Frama-C Beryllium-20090901 
0000163: crash for untyped_metrics example plugin
when running this plugin : > frama-c -count-for tmp1.c > [kernel] error: unexpected error Not_found > [kernel] error: please report as `crash' at http://bts.frama-c.com
No tags attached.
Issue History
2009-06-25 10:22sdupratNew Issue
2009-06-25 10:33signolesStatusnew => assigned
2009-06-25 10:33signolesAssigned To => monate
2009-06-26 15:03monateStatusassigned => resolved
2009-06-26 15:03monateFixed in Version => Frama-C Beryllium
2009-06-26 15:03monateResolutionopen => fixed
2009-09-02 10:54signolesStatusresolved => closed

There are no notes attached to this issue.