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