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

[Frama-c-discuss] fool the tool




Christoph Weber wrote:

> Is this indended, signaling me to stop fooling around or am I missing something to invoke the gui properly.

The "assertion failed" message signals something unexpected happened in 
the jessie plugin. My guess is that it has to do with the support of 
arrays allocated on the stack, see the warnings:

> equal_array.c:6: Warning: Variable-sized local variable save_array_a
> equal_array.c:7: Warning: Variable-sized local variable save_array_b

I have no advice instead of trying to code without such arrays on the 
stack. (Which is something very dangerous to do anyway!)

-- 
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                    |