--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on September 2014 ---
Hello Boris, 2014-09-02 10:53, Boris Yakobowski: > The 'Messages' panel has GTK-scalability issues when it must display > multiple messages, and may be quite unfriendly on big analyses: no > filtering, no prioritizing between important or secondary warnings, > faulty "go to location on click" functionality. So it makes sense to > try to reduce its importance. Furthermore, if you set the filters of > the 'Properties' panel to display only assertions with validity > 'unknown' or 'invalid', you get more or less the alarms-related > functionality of the 'Messages' panel, don't you think ? Yes, as long as one as a way to list all alarms and jump through the code corresponding to an alarm. Best regards, david