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

[Frama-c-discuss] Set membership



On Mon, 2011-02-28 at 15:49 +0100, BAUDIN Patrick wrote:
> 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.

Unfortunately, it's not supported by Jessie:

[jessie] failure: Expecting a single term, not a set:
                  \union(2, 3, 4, 5)

-- 
Regards,
Boris