--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on April 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-gui question



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>