--- layout: fc_discuss_archives title: Message 70 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to get the "VALID" results with dynamically calling wp?



Hi,thanks for all of your help. I read the file wp_gui.ml and understood
how it worked. And to Florent, I will think your advice later.

----
Best wishes,
Henry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120216/9aeaa7a1/attachment.htm>