--- layout: fc_discuss_archives title: Message 8 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



On Tue, Sep 2, 2014 at 9:19 AM, David MENTRE <dmentre at linux-france.org> wrote:
> As a simple user, I don't understand why you want to remove alarms in
> Messages panel. Both are useful: alarms as ACSL properties (one can clearly
> see where is the alarm) and in Messages panel (useful to navigate in code
> when alarms are spread over the code).

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 ?

-- 
Boris