tsets union not accepted in predicates
ID0001148: This issue was created automatically from Mantis Issue 1148. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001148 | Frama-C | Plug-in > jessie | public | 2012-04-16 | 2012-12-06 |
Reporter | nmuller | Assigned To | cmarche | Resolution | won't fix |
Priority | normal | Severity | feature | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
By attempting to submit the tsets.c file (here after joined), it can be seen that operations on tsets are not accepted in predicates. Is it the expected behaviour.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information