--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] how to interpret ACSL annotations?



Le 01/07/2011 12:20, ??? a ?crit :
> Well, what I mean is that how can I get the means of the offered annotations.

I don't understand very well which information you are looking for...
Maybe you missed the document :  ACSL: ANSI/ISO C Specification Language
from : http://frama-c.com/acsl.html ???

Hope this helps,
-- 
Anne.