--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] One-line comments used for multi-line annotations



I proposed a change request some months ago for this very
reason. //-style comments are frequently used in C, so this can confuse
users.

On Mon, 2010-05-10 at 16:36 +0200, Yannick Moy wrote:
> 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
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss