--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on July 2011 ---
Hi, I have got what I want as what you said now. I have been comfused for a few days. I think the information can be added to the plugin-development-guide in the future. Thank you very very much. Best Wishes to You. Henry Liu. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110704/1feb8f7f/attachment.htm>