set of set
ID0000575: This issue was created automatically from Mantis Issue 575. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000575 | Frama-C | Kernel > ACSL implementation | public | 2010-08-25 | 2015-09-24 |
| Reporter | patrick | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
For exemple, there is not way to build the set containing the empty set without using comprehension set construct.
The proposition is to extend the actual ACSL grammar in order to allow "{" term "}" as set expression.