--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on August 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie error



Emilie.Timbou at continental-corporation.com wrote:
>
> Hi.
>
> I work with the Jessie plug-in...
> When I launch this module on my file, I obtained an error.
>
> > Computation of VCs...
> > Fatal error: out of memory.
> > make: *** [file.stat] Error 2
> > Jessie subprocess failed: make -f file.makefile gui
>
> So, What does it means?
>
> Regards,
> Emilie
> ------------------------------------------------------------------------
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss

It might be because you have a function with a quite long body, and/or 
with complex control structure in particular nested ifs, or switches.

One try is to use the -fast-wp option of why, which can be set up from 
the frama-c command line with

frama-c -jessie -jessie-why-opt -fast-wp file.c

For more help, I will need to see your source code...

- Claude

-- 
Claude March?                          | tel: +33 1 72 92 59 69           
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93 
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29   
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |