ID0000252: This issue was created automatically from Mantis Issue 252. Further discussion may take place here.
|ID0000252||Frama-C||Plug-in > jessie||public||2009-09-21||2012-01-21|
|Product Version||Frama-C Beryllium-20090901||Target Version||-||Fixed in Version||-|
Trying 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