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

[Frama-c-discuss] How to get the results after running WP within my own plugin?



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>