--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on September 2011 ---
Hi, I just got the result as what you said. Thanks a lot for your kindness. Now it's enough for my work and I hope WP can become more stronger so the result can be more accurate. And another, I feel too little interfaces are provided by WP. I wonder whether more interfaces will be given in the future. Thank you again. Henry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110921/8f5317a1/attachment.htm>