[Termtools] timeout for certification?

[Johannes Waldmann]

Dear all -

with the current timeout discussion and voting,
we forgot to mention the time taken for verification of the certificate.

Simon tells me that the execution platform
implements a timeout X for the tool,
and an independent timeout Y for the verifier (coq).

Looking back to 2007, Claude implemented Y = 5 * X
http://lists.lri.fr/pipermail/termtools/2007-June/000413.html

Opinions?

J.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081030/59bff969/attachment.pgp