--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on November 2008 ---
Hi, I want to know whether an axiomatic definition like nb_occ() processes an array in the meaning of execution? Cheers Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081128/fb4f0d8f/attachment.htm