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

[Frama-c-discuss] Jessie error



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
-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090826/750d4c29/attachment.htm