--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on April 2010 ---
Nicholas Mc Guire wrote: > will fix the ocaml version and retry - thanks ! I suggest to try first frama-c.byte -jessie <some c file> if it works, I don't think it is crucial to have the native code version. The crucial part is usually the WP computation, and with the jessie plugin, this is done externally by calling the why command, and hopefully this is done in native mode. Hoe this helps, - Claude -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |