Frama-C Bug Tracking System - Frama-C
View Issue Details
0000193Frama-CPlug-in > slicingpublic2009-07-15 18:422014-02-12 16:57
lukaszc 
correnson 
normalcrashalways
closedfixed 
Frama-C Beryllium-20090601-beta1 
Frama-C Beryllium-20090901 
0000193: crash with information [kernel] error: unexpected error Extlib.NotYetImplemented("[logic_interp] not a lvalue")
I obtained this message, which was followed by a crash when invoking slicing on a large file (frama-c -slice-print -slice-pragma ufe_actions -slicing-level 3 -main ufe_actions -lib-entry ufe2.c -pp-annot -ocode ufe2_a1.c).
No tags attached.
Issue History
2009-07-15 18:42lukaszcNew Issue
2009-07-15 18:42lukaszcStatusnew => assigned
2009-07-15 18:42lukaszcAssigned To => Anne
2009-07-15 18:45lukaszcNote Added: 0000261
2009-07-16 09:09AnneAssigned ToAnne => patrick
2009-08-04 08:53signolesRelationship addedchild of 0000210
2009-08-06 13:17signolesStatusassigned => acknowledged
2009-08-26 10:52signolesStatusacknowledged => assigned
2009-08-26 10:52signolesAssigned Topatrick => correnson
2009-08-26 13:00corrensonNote Added: 0000354
2009-08-26 13:00corrensonStatusassigned => resolved
2009-08-26 13:00corrensonFixed in Version => Frama-C Beryllium
2009-08-26 13:00corrensonResolutionopen => fixed
2009-09-02 10:54signolesStatusresolved => closed

Notes
(0000261)
lukaszc   
2009-07-15 18:45   
I am reporting this because a message appeared that I should report a crash
(0000354)
correnson   
2009-08-26 13:00   
A more explicit message is reported in revision 6001. This is a feature request for a kernel module [logic_interp].