[Termtools] timeout

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Thu Oct 30 23:17:50 CET 2008

Dear all,

The test runner now uses 60 seconds timeout.

(I got one more (late) vote for 60 seconds, confirming our decision.)

What is your opinion on the timeout for verification?

I suggest we take Y = 10 minutes. That's the same absolute value
as last year, which makes sense, because the coqc process
probably cannot make use of the multi-core architecture.

Best regards, Johannes.

-------------- 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/c1f59033/attachment.pgp 

More information about the Termtools mailing list