--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on December 2008 ---
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