---
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?
- Subject: [Frama-c-discuss] How to get the "VALID" results with dynamically calling wp?
- From: njucslzh0714 at gmail.com (Henry)
- Date: Thu, 16 Feb 2012 15:47:58 +0800
- In-reply-to: <CALiiei6L0SA3qUph+P7ghssfZozbsg-ygJvvk=mmDHk_OnhMXw@mail.gmail.com>
- References: <CALiiei43n6f68tBKXE4sc6fA_0N5=dxsj6A1Fc8bEXB+aKSiSw@mail.gmail.com> <CALiiei6L0SA3qUph+P7ghssfZozbsg-ygJvvk=mmDHk_OnhMXw@mail.gmail.com>
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>