--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on June 2010 ---
Hi I cannot figure out what this message means: ALE.c:342:[kernel] warning: Cannot represent the length of array as an attribute. I got this message 135 times on my application. Does any one know about this message ? Ch -- Christele Faure-Simeoni 04 93 77 71 08 http://pagesperso-orange.fr/Christele.Faure/ http://www.safe-river.com/