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
- Subject: [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- From: boris at yakobowski.org (Boris Yakobowski)
- Date: Tue, 2 Sep 2014 10:53:23 +0200
- In-reply-to: <54056F92.6060004@linux-france.org>
- References: <5404990A.5040209@linux-france.org> <CABbVA-D1FJJcZZzLhQ8=whnzndGDkegY6xtNX+akuPmAizjzbg@mail.gmail.com> <54056F92.6060004@linux-france.org>
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
- Follow-Ups:
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- From: dmentre at linux-france.org (David MENTRÉ)
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- References:
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- From: boris at yakobowski.org (Boris Yakobowski)
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- Prev by Date: [Frama-c-discuss] Missing fc_runtime.c in Neon
- Next by Date: [Frama-c-discuss] needing help to write a frama-c plugin
- Previous by thread: [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- Next by thread: [Frama-c-discuss] Issue with -save/-load options, warning not displayed in GUI
- Index(es):