--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on April 2011 ---
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>