2021-01-15 19:52 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000252Frama-CPlug-in > jessiepublic2012-01-21 10:50
Reporterkerstin 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
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 
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-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
+Issue History