Frama-C Bug Tracking System - Frama-C
View Issue Details
0000789Frama-CPlug-in > slicingpublic2011-04-12 12:392011-10-10 14:14
pascal 
Anne 
normalminorhave not tried
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Nitrogen-20111001 
0000789: 12825, sliced program does not terminate
This example is smaller than 787, all the settings are the same.
No tags attached.
child of 0000787closed Anne same conditions as 786, sliced program does not terminate when original does (csmith) 
tgz smaller.tgz (3,124) 2011-04-12 12:39
https://bts.frama-c.com/file_download.php?file_id=197&type=bug
Issue History
2011-04-12 12:39pascalNew Issue
2011-04-12 12:39pascalStatusnew => assigned
2011-04-12 12:39pascalAssigned To => Anne
2011-04-12 12:39pascalFile Added: smaller.tgz
2011-04-12 17:03AnneRelationship addedchild of 0000787
2011-04-28 13:58AnneNote Added: 0001818
2011-04-28 13:58AnneStatusassigned => resolved
2011-04-28 13:58AnneResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed

Notes
(0001818)
Anne   
2011-04-28 13:58   
Fixed in rev 13064.