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.