--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on February 2012 ---
> 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>