--- layout: fc_discuss_archives title: Message 94 from Frama-C-discuss on October 2008 ---
Hi, I'd like to know if there will be something like sub behavior. Thinking of a function find on an int array, where I'd like to separate is_empty & is_not_empty and if the array is not empty found & not_found. Thanks Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081021/19e2874a/attachment.html