--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on July 2011 ---
Hi, It's powerful for analysis with ACSL annotations but I cannot find how to interpret the ACSL annotations and in the development-guide only a little information is given. So could you show me the way to deal with ACSL annotations or show me a simple example? Best Regards to You. Henry Liu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110701/fb119a5c/attachment.htm>