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

[Frama-c-discuss] Frama-C: GUI's response time



Hello,

> In addition to what has already been said, I recommend you
> avoid selecting complete source files in the left-hand
> side panel. Instead, select individual functions by first expanding
> the file in the tree view (with my GTK+ theme, this is done by
> clicking a small triangle left of the function name).
> Trying to display a complete source file in the GUI can be
> especially costly.

In addition to Pascal' and Benjamin's answers, a major efficiency issue
in the GUI has also been fixed last Monday which may appear when the
value analysis is computed and you select an individual function in the
tree view.

--
Julien