Frama-C Bug Tracking System
Main | My View | View Issues | Change Log | Roadmap | Repositories
  

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