--- layout: fc_discuss_archives title: Message 43 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



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