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



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