--- layout: fc_discuss_archives title: Message 98 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Semantics of Jessie icons?



On Fri, Mar 27, 2009 at 11:44, David MENTRE <dmentre at linux-france.org> wrote:
> On Thu, Mar 19, 2009 at 09:55, David MENTRE <dmentre at linux-france.org> wrote:
>> What is the exact semantics of Jessie GUI icons?
[...]
>
> So I think we have:
> ?* valid : green dot
> ?* invalid : ??
> ?* unknown : question mark
> ?* timeout : scissors
> ?* failure : ??
>
> What is the difference between "failure" and "invalid"?
>
> What is the difference between "unknown" and "timeout"?

And what does mean the "hard disk" icon?

Yours,
d.