tsets union not accepted in predicates
ID0001148: This issue was created automatically from Mantis Issue 1148. Further discussion may take place here.
|ID0001148||Frama-C||Plug-in > jessie||public||2012-04-16||2012-12-06|
|Reporter||nmuller||Assigned To||cmarche||Resolution||won't fix|
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||-|
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.