--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on September 2009 ---
I will let someone more knowledgeable answer the questions that are specifically about Jessie. > 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.) That's undoubtedly a bug. You should report it at the suggested URL (that is, http://bts.frama-c.com). Further instructions on reporting bugs are available on the public wiki: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis%3AFrama-C%3Astart With the same account that you need to create to report the bug, you can edit the wiki and add/update any information that you would have liked to have as first-time user. Pascal