type invariants
ID0000252: This issue was created automatically from Mantis Issue 252. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000252 | Frama-C | Plug-in > jessie | public | 2009-09-21 | 2012-01-21 |
| Reporter | kerstin | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090901 | Target Version | - | Fixed in Version | - |
Description :
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