--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Set membership



Hello,
> is there a way to abbreviate 
> val == a1 || val == a2 || ... || val == an
> with keywords that are supported in the current version of
> Frama-C/Jessie?
>   
This should be at least supported by Frama-C kernel:
\subset(val,\union(a1,a2,...,an))
since val, a1, ... an can be promoted to sets.

ps. I can't answer about Jessie's support.

-- 
Regards,
Patrick Baudin,