--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] using jessie plug-in



Dear all,

I am using Frama-C for the first time and wondering if there is a
up-to-date tutorial for jessie plug-in to be combined with Why tool
which is installed together with Frama-C.

I found one on the main web page of Frama-C, but it seems outdated.
In the 1st page it is written to use -jessie-analysis option which
seems to be supported not any more.

And when I just try

frama-c -jessie test.c

then I get the following message

===========
test at user$ frama-c -jessie test.c
[kernel] preprocessing with "gcc -C -E -I.  -dD test.c"
[jessie] Starting Jessie translation
test.c:8:[jessie] failure: Unexpected failure.
                  Please submit bug report (Ref.
"src/jessie/interp.ml:1747:18").
[kernel] Plugin jessie aborted because of an internal error.
         Please report with 'crash' at http://bts.frama-c.com
===========

The test.c file contains the Dijkstra's flag sorting program.

Was something wrong during the installation? (Gut the frama-c-gui can
be launched too.)

(I am using Ubuntu 9.4)

Best,

Gyesik