Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000335Frama-CPlug-in > jessiepublic2009-11-20 12:232009-11-20 12:44
Reporternrousset 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in Version 
Summary0000335: Unbound reference raised by Why
Descriptionframa-c -jessie test.c Computation of VCs... File "why/test.why", line 708, characters 72-103: Unbound reference __anonstruct_str_2_f1_my_str_1 Note: frama-c -jessie -jessie-no-regions test.c is OK
TagsNo tags attached.
Attached Filesc file icon test.c [^] (149 bytes) 2009-11-20 12:23 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-11-20 12:23 nrousset New Issue
2009-11-20 12:23 nrousset File Added: test.c
2009-11-20 12:44 signoles Status new => assigned
2009-11-20 12:44 signoles Assigned To => cmarche


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker