--- layout: fc_discuss_archives title: Message 98 from Frama-C-discuss on March 2009 ---
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.