--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on July 2011 ---
Hi, I hear ACSL importer plug-in that used to import external ACSL file into .C is not free software, what is the cost of this plug-in? Thanks Xu Deng 8621-7069 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110721/8bf3014a/attachment.htm>