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

[Frama-c-discuss] [jessie-plugin] cannot be used on your code



See http://lists.gforge.inria.fr/pipermail/why-discuss/2008-June/000054.html

On 05/17/2012 06:02 PM, dams wrote:
>
> which is a simple test. Then I've got a recurrent  error :
> frama-c -jessie test.c
> [kernel] preprocessing with "gcc -C -E -I.  -dD test.c"
> [jessie] Starting Jessie translation
> [jessie] Producing Jessie files in subdir test.jessie
> [jessie] File test.jessie/test.jc written.
> [jessie] File test.jessie/test.cloc written.
> [jessie] Calling Jessie tool in subdir test.jessie
> Generating Why function test
> Generating Why function main
> [jessie] Calling VCs generator.
> gwhy-bin [...] why/test.why
> Computation of VCs...
> Computation of VCs done.
> Reading GWhy configuration...
> Loading .gwhyrc config file
> GWhy configuration loaded...
> Creating GWhy Tree view...
> GWhy Tree view created...
> Creating GWhy views...
> Segmentation fault