Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000404Frama-CPlug-in > jessiepublic2010-02-11 17:242014-02-12 16:56
Reporterddelmas 
Assigned Tocmarche 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in VersionFrama-C Carbon-20101202-beta2 
Summary0000404: Jessie translation unexpected failure
DescriptionWith WHY 2.21 or 2.23, "frama-c -jessie test.c" crashes on the attached test.c source file.
Additional InformationThe command-line output is :

[kernel] preprocessing with "gcc -C -E -I. -dD test.c"
[jessie] Starting Jessie translation
test.c:3:[jessie] failure: Unexpected failure.
                  Please submit bug report (Ref. "norm.ml:465:31").
[kernel] Plugin jessie aborted because of an internal error.
         Please report with 'crash' at http://bts.frama-c.com [^]
TagsNo tags attached.
Attached Filesc file icon test.c [^] (366 bytes) 2010-02-11 17:24 [Show Content]

- Relationships

-  Notes
(0001324)
cmarche (developer)
2010-12-16 17:38


structs should be passed as struct*

- Issue History
Date Modified Username Field Change
2010-02-11 17:24 ddelmas New Issue
2010-02-11 17:24 ddelmas Status new => assigned
2010-02-11 17:24 ddelmas Assigned To => cmarche
2010-02-11 17:24 ddelmas File Added: test.c
2010-12-16 17:38 cmarche Note Added: 0001324
2010-12-16 17:38 cmarche Status assigned => resolved
2010-12-16 17:38 cmarche Resolution open => fixed
2010-12-18 11:18 signoles Fixed in Version => Frama-C Carbon-20101202-beta2
2010-12-18 11:19 signoles Status resolved => closed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker