[Termtools] timeout

[olivier.pons]

Dear all


I agree with Frederic that 10 minutes is maybe excessive but 1 minutes
is also a bit drastic I think that 3 or 4 minutes should be a good
compromise even if this is not always sufficient for some "big certificate"

olivier

Frederic Blanqui wrote:
> 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
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools
>