Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000880Frama-CPlug-in > slicingpublic2011-07-06 15:292011-12-19 09:59
Reporterpascal 
Assigned ToAnne 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0000880: 14055: sliced program does not terminate (csmith)
DescriptionSame conditions as bug 879.
TagsNo tags attached.
Attached Filesc file icon t.c [^] (9,740 bytes) 2011-07-06 15:30 [Show Content]

- Relationships

-  Notes
(0002069)
Anne (reporter)
2011-07-28 17:00

fixed in rev 14384

- Issue History
Date Modified Username Field Change
2011-07-06 15:29 pascal New Issue
2011-07-06 15:29 pascal Status new => assigned
2011-07-06 15:29 pascal Assigned To => Anne
2011-07-06 15:30 pascal File Added: t.c
2011-07-28 17:00 Anne Note Added: 0002069
2011-07-28 17:00 Anne Status assigned => resolved
2011-07-28 17:00 Anne Resolution open => fixed
2011-10-10 14:13 signoles Fixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14 signoles Status resolved => closed
2011-12-19 09:55 pascal Status closed => feedback
2011-12-19 09:55 pascal Resolution fixed => reopened
2011-12-19 09:57 pascal View Status private => public
2011-12-19 09:59 pascal Status feedback => closed
2011-12-19 09:59 pascal Resolution reopened => fixed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker