Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000434Frama-CPlug-in > jessiepublic2010-03-25 14:342010-12-18 11:19
ReporterJochen 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in VersionFrama-C Carbon-20101202-beta2 
Summary0000434: assertion at line 2772 of jc/jc_typing.ml fails
Description(Similar to report 432; Virgile encouraged me to resubmit:) Calling the unix command <> causes the assertion in the jessie source file jc/jc_typing.ml, line 2772:25-31 to fail. The error vanishes if I delete the subformula <<\base_addr(f) == \base_addr(b) &&>> in line 12 of the attached file ftest.c.
TagsNo tags attached.
Attached Filesc file icon ftest.c [^] (338 bytes) 2010-03-25 14:34 [Show Content]

- Relationships

-  Notes
(0001321)
cmarche (developer)
2010-12-16 17:28

Fixed in Why 2.28

- Issue History
Date Modified Username Field Change
2010-03-25 14:34 Jochen New Issue
2010-03-25 14:34 Jochen Status new => assigned
2010-03-25 14:34 Jochen Assigned To => cmarche
2010-03-25 14:34 Jochen File Added: ftest.c
2010-12-16 17:28 cmarche Note Added: 0001321
2010-12-16 17:28 cmarche Status assigned => resolved
2010-12-16 17:28 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 - 2019 MantisBT Team
Powered by Mantis Bugtracker