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

[Frama-c-discuss] Jessie plug-in



I want to know if it's possible to launch Jessie from Frama-C GUI(Nitrogen version).

Moreover, during the launch of Jessie, the following problems appear:


...
[jessie] Calling VCs generator.
why3ml [...] float_array.mlw
[Info] Init the GTK interface... done.
[Info] reading IDE config file...
syntax error in /usr/local/lib/why/why3/why3.conf: invalid keyval pair starting with /
make: *** [why3ml] Error 1
[jessie] user error: Jessie subprocess failed: make -f float_array.makefile why3ml


[@@THALES GROUP RESTRICTED@@]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120726/3a8b23d9/attachment.html>