--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on May 2012 ---
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