--- layout: fc_discuss_archives title: Message 95 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,

We did not plan to add such feature, but it should not be difficult to write
instead different behaviors: is_empty_and_found, is_empty_and_not_found,
is_not_empty. Moreover, you can share parts of your specification by
defining predicates.

Yannick


On Tue, Oct 21, 2008 at 1:22 PM, Christoph Weber <
Christoph.Weber@first.fraunhofer.de> wrote:

>  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
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss@lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
>


-- 
Yannick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081021/0b100ff7/attachment.html