--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on September 2014 ---
[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,
david