Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000184Frama-CPlug-in > slicingpublic2009-07-14 14:132014-02-12 16:57
Reporterlukaszc 
Assigned ToAnne 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090601-beta1 
Target VersionFixed in VersionFrama-C Beryllium-20090901 
Summary0000184: slicing crashes when there is no entry point to the function
Descriptionframa-c -slice-pragma x file.c file.c ----- int x(int y, int z) { /*@ slice pragma expr y == 1; */ //@ assert y == 1; //@ assert y + z == 3; return y; } int main() { return 0; } int z1() { return x(2,2); }
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-07-14 14:13 lukaszc New Issue
2009-07-14 14:13 lukaszc Status new => assigned
2009-07-14 14:13 lukaszc Assigned To => Anne
2009-07-15 09:44 svn Checkin
2009-07-15 09:51 svn Checkin
2009-07-15 09:51 svn Status assigned => resolved
2009-07-15 09:51 svn Resolution open => fixed
2009-09-02 10:54 signoles Status resolved => closed
2009-09-02 10:57 signoles Fixed in Version => Frama-C Beryllium


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker