[Termtools] certification failures

[Simon Bailey]

hi,

On Nov 12, 2008, at 11:32 AM, Johannes Waldmann wrote:

>> By the way, what is the meaning of the red boxes? Failure? But some  
>> seem
>> to correspond to timeout...
>
> RED with > 60 seconds is timeout, RED with < 60 seconds is failure.

if you want to use the word certification for the process of verifying  
a proof, you should be aware of the connotations of the word.  
certification is a boolean process, it either succeeds or fails.  
compare certification to checksumming a file – the value is either  
correct or incorrect, there is no MAYBE in between... same goes for  
digital signatures (which is the same as certifying something) – the  
signature is valid or invalid.

this is the ratification behind my design decision to only include  
information about success or failure of the certification process.  
failure to certify/verify a proof within the given parameters should  
be considered a failure.

> Well, I wanted to have verification failure RED (the "ERROR" colour)
> different from verification timeout ORANGE (the "MAYBE" colour)
> but there was no agreement, see also
> http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=21
> (write a comment there to increase the weight of this bug :-)


this request came in less than 24 hours before the competition started  
which is another reason why it's not implemented... ;) however, as  
johannes stated above a failure > 60.000ms is a TIMEOUT, anything else  
is success.

regards,
sb
--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/