--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on March 2012 ---
Hi, Frama-C will expand array cells by default when its size is known as a constant. However I don't hope so now. How can I prevent this? It does not work by specifing the option -plevel. Best wishes -- Henry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120323/4d3bfcb5/attachment.html>