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] Issue with -save/-load options, warning not displayed in GUI

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,