Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000385Frama-CKernelpublic2010-02-01 03:432010-04-13 15:33
Reportertari3x 
Assigned Tovirgile 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000385: File "src/kernel/cilE.ml", line 372, characters 13-19: Assertion failed
DescriptionThe attached file crashes Frama-C with the above error. Steps to reproduce:

- load the file in frama-c-gui

- tick Imact->Slicing after impact

- click somewhere on an equality sign in the code

- click "Set Selected"
TagsNo tags attached.
Attached Files? file icon client.i [^] (933,896 bytes) 2010-02-01 03:43

- Relationships

-  Notes
(0000656)
tari3x (reporter)
2010-02-01 03:44

Another way to trigger the same error: load the file, then click Execute, choose -val, click Execute.
(0000658)
virgile (developer)
2010-02-01 10:05

Already fixed in current svn version

- Issue History
Date Modified Username Field Change
2010-02-01 03:43 tari3x New Issue
2010-02-01 03:43 tari3x File Added: client.i
2010-02-01 03:44 tari3x Note Added: 0000656
2010-02-01 10:05 virgile Note Added: 0000658
2010-02-01 10:05 virgile Status new => resolved
2010-02-01 10:05 virgile Fixed in Version => Frama-C svn, precise the release id
2010-02-01 10:05 virgile Resolution open => fixed
2010-02-01 10:05 virgile Assigned To => virgile
2010-04-13 15:30 signoles Status resolved => new
2010-04-13 15:31 signoles Status new => closed
2010-04-13 15:33 signoles Fixed in Version Frama-C svn, precise the release id => Frama-C Boron


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker