--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on May 2010 ---
I just realized that you cannot use one-line comments with the @ char for multi-line annotations. Was it the case previously, or has it always been like that? E.g. //@ predicate even (integer x) = //@ x % 2 == 0; is rejected by Frama-C. -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100510/c7c77c65/attachment.htm>