Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000252Frama-CPlug-in > jessiepublic2009-09-21 10:392012-01-21 10:50
Reporterkerstin 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090901 
Target VersionFixed in Version 
Summary0000252: type invariants
DescriptionTrying to use global or type invariants I realized global invariants work, but type invariants unfortunately do not. Anyway, using both - global or type invariants - there are syntax errors when using the strength modifiers weak or strong. Type and global invariants (including their strength modifiers) would be a very useful feature, I wanted to recommend for taking into consideration for future implementation. Thank you in advance, Kerstin
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0000025acknowledgedvirgile type invariants 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-09-21 10:39 kerstin New Issue
2009-09-21 10:44 signoles Status new => assigned
2009-09-21 10:44 signoles Assigned To => virgile
2012-01-21 10:50 signoles Relationship added duplicate of 0000025


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker