Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000387Frama-CKernel > ACSL implementationpublic2010-02-01 09:462010-02-05 09:42
Reportersboldo 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0000387: ghost integer ?
DescriptionHello, It is impossible to have a ghost variable of type integer. I may have an int32 ghost, but I would really prefer having an unbounded integer instead of an int32.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-02-01 09:46 sboldo New Issue
2010-02-01 09:47 signoles Status new => assigned
2010-02-01 09:47 signoles Assigned To => virgile
2010-02-05 09:42 signoles Category Kernel => Kernel > ACSL implementation


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker