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

[Frama-c-discuss] Examples for external spec file support of ACSL



Hi the list,
I found in the Carbon code, there seems to be external spec file support of
ACSL, noted by
(* ACSL extension for external spec file *)

But I cannot find any examples in either the ACSL manual or test code. Does
anyone know the status of this support? Is there any example on how to use
the feature? Thanks.

-- 
Best Regards
Steven Gong
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110428/28750968/attachment.htm>