waldmann at imn.htwk-leipzig.de
Thu Oct 30 23:17:50 CET 2008
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...
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081030/c1f59033/attachment.pgp
More information about the Termtools