Frama-C Bug Tracking System - Frama-C
View Issue Details
0000752Frama-CPlug-in > Evapublic2011-03-11 10:572014-02-12 16:59
kerstin 
pascal 
normalcrashalways
closedfixed 
Frama-C Carbon-20110201 
Frama-C Nitrogen-20111001 
0000752: Unexpected error (Ival.Float_abstract.Bottom)
Crash 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
No tags attached.
c interp_bug.c (1,159) 2011-03-11 10:57
https://bts.frama-c.com/file_download.php?file_id=181&type=bug
Issue History
2011-03-11 10:57kerstinNew Issue
2011-03-11 10:57kerstinStatusnew => assigned
2011-03-11 10:57kerstinAssigned To => pascal
2011-03-11 10:57kerstinFile Added: interp_bug.c
2011-03-11 12:41svnCheckin
2011-03-11 12:41svnStatusassigned => resolved
2011-03-11 12:41svnResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2014-02-12 16:59pascalNote Added: 0004823
2014-02-12 16:59pascalStatusclosed => resolved
2018-01-12 14:26signolesCategoryPlug-in > value analysis => Plug-in > Eva

Notes
(0004823)
pascal   
2014-02-12 16:59   
Fix committed to stable/neon branch.