Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000752Frama-CPlug-in > value analysispublic2011-03-11 10:572014-02-12 16:59
Reporterkerstin 
Assigned Topascal 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Carbon-20110201 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0000752: Unexpected error (Ival.Float_abstract.Bottom)
DescriptionCrash if the 3 assertions are added to the program.

Unexpected error (Ival.Float_abstract.Bottom).

commandline: frama-c-gui -val -slevel 10 -main interp interp_bug.c
             frama-c -val -slevel 10 -main interp interp_bug.c
TagsNo tags attached.
Attached Filesc file icon interp_bug.c [^] (1,159 bytes) 2011-03-11 10:57 [Show Content]

- Relationships

-  Notes
(0004823)
pascal (reporter)
2014-02-12 16:59

Fix committed to stable/neon branch.

- Issue History
Date Modified Username Field Change
2011-03-11 10:57 kerstin New Issue
2011-03-11 10:57 kerstin Status new => assigned
2011-03-11 10:57 kerstin Assigned To => pascal
2011-03-11 10:57 kerstin File Added: interp_bug.c
2011-03-11 12:41 svn Checkin
2011-03-11 12:41 svn Status assigned => resolved
2011-03-11 12:41 svn 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
2014-02-12 16:59 pascal Note Added: 0004823
2014-02-12 16:59 pascal Status closed => resolved


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker