--- layout: fc_discuss_archives title: Message 61 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?



> I wonder how to make it with OCaml code in my own program, not by
> command line. For that if it calls Wp.wp_compute only one property can
> be proved once. Hope it's clear for you.

Thanks for clarifying, and to Lo?c for his concise answer - hopefully it
solves your problem.

On a related note, you might find that your type of advanced questions
(especially on internal APIs and programmatic interfaces) often require
a closer working relationship than what we are able to provide on our
spare time. **We are willing to help**, but memorizing your specific
context, constraints, and objectives makes our lending a hand quite
time-consuming. A simple way around this limitation is to secure a
privileged access to slices of our time: should you be interested, we
can only encourage you to investigate contractual options to support
your developments.

Best,
Florent.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120215/1c078218/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: florent_kirchner.vcf
Type: text/x-vcard
Size: 308 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120215/1c078218/attachment-0001.vcf>