2021-01-15 19:52 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000252Frama-CPlug-in > jessiepublic2012-01-21 10:50
Assigned Tovirgile 
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,
TagsNo tags attached.
Attached Files

duplicate of 0000025acknowledgedvirgile type invariants 

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