Frama-C Bug Tracking System - Frama-C
View Issue Details
0000880Frama-CPlug-in > slicingpublic2011-07-06 15:292011-12-19 09:59
pascal 
Anne 
normalminorhave not tried
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Nitrogen-20111001 
0000880: 14055: sliced program does not terminate (csmith)
Same conditions as bug 879.
No tags attached.
c t.c (9,740) 2011-07-06 15:30
https://bts.frama-c.com/file_download.php?file_id=239&type=bug
Issue History
2011-07-06 15:29pascalNew Issue
2011-07-06 15:29pascalStatusnew => assigned
2011-07-06 15:29pascalAssigned To => Anne
2011-07-06 15:30pascalFile Added: t.c
2011-07-28 17:00AnneNote Added: 0002069
2011-07-28 17:00AnneStatusassigned => resolved
2011-07-28 17:00AnneResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2011-12-19 09:55pascalStatusclosed => feedback
2011-12-19 09:55pascalResolutionfixed => reopened
2011-12-19 09:57pascalView Statusprivate => public
2011-12-19 09:59pascalStatusfeedback => closed
2011-12-19 09:59pascalResolutionreopened => fixed

Notes
(0002069)
Anne   
2011-07-28 17:00   
fixed in rev 14384