Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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