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 - 2018 MantisBT Team
Powered by Mantis Bugtracker