--- layout: fc_discuss_archives title: Message 94 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] behavior, sub-behavior



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