--- layout: fc_discuss_archives title: Message 79 from Frama-C-discuss on February 2011 ---
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