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

[Frama-c-discuss] ACSL-implication



Hello,

I would like to know, how the implication in the ACSL must be interpreted.

Is it a logical implication, that returns a boolean, in each case?

Or is it like a conditional evaluation, where the right-hand-side is only evaluated when the left-hand-side returns true?

I hope my question makes sense to you.

Cheers

Christoph
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081215/85433c05/attachment.htm