--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on September 2009 ---
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