--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on April 2011 ---
Hi, I'm experimenting with frama-c for the first time and get the a message <<Cannot display more than 21 globals at a time. Skipping end of file>> on many my project files. Can I increase this number up from 21? Also what does the background coloring in the normalized source code view mean? I see some statements with a red background and a strikethrough font. Cheers - Ethan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110420/2a6587fa/attachment.htm>