--- layout: fc_discuss_archives title: Message 97 from Frama-C-discuss on March 2009 ---
Hello, 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? > > green dot: ok, propertie proved. > scissors: timeout, unknown if false or true??? > question mark surrounded in red: ???? After running Jessie in command line, I found following counters: valid : invalid : unknown : timeout : failure : 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"? Sincerely yours, david