--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on January 2009 ---
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 |