--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on April 2009 ---
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