Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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?

  • Subject: [Frama-c-discuss] How to get the results after running WP within my own plugin?
  • From: njucslzh0714 at gmail.com (刘自恒)
  • Date: Wed, 21 Sep 2011 22:33:51 +0800
  • In-reply-to: <CALiiei6Fq3pTr_FC4opJobZeB=3uvA9GYH-j-zY0XHnHC=tb8Q@mail.gmail.com>
  • References: <CALiiei6Fq3pTr_FC4opJobZeB=3uvA9GYH-j-zY0XHnHC=tb8Q@mail.gmail.com>
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>