[Termtools] timeout

[Frederic Blanqui]

I think that 10 minutes is really too long. I propose only a few minutes 
and, why not only 1 minute. I now that verification is currently slow 
and that various examples require several minutes. But our goal should 
be to improve the verification time.

Johannes Waldmann a écrit :
> 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?
> http://lists.lri.fr/pipermail/termtools/2008-October/000587.html
> 
> 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.
> 
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools