[isabelle-dev] Duraraion of AFP session AODV

[Gerwin Klein]

Done.
Gerwin

> On 27.11.2014, at 19:08, Dmitriy Traytel <traytel at in.tum.de> wrote:
> 
> Maybe then the timeout for AODV should be set to some large number in its ROOT file (as done for other sessions)?
> 
> The session times out in mira for quite some time (e.g. http://isabelle.in.tum.de/testboard/Isabelle/report/207ba9b7301d47a1a42585afb63c6a60).
> 
> Dmitriy
> 
> On 26.11.2014 22:31, Gerwin Klein wrote:
>> Not sure about lxbroy10, but AODV is now the longest session. It takes about 1:40h on my machine (needs less memory than JinjaThreads, though).
>> 
>> Cheers,
>> Gerwin
>> 
>>> On 27.11.2014, at 05:10, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
>>> 
>>> How long is session AODV expected to run on a machine such as lxbroy10?
>>> It seems to exceed JinjaThreads significantly…
>>> 
>>>       Florian
>>> 
>>> --
>>> 
>>> PGP available:
>>> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
>>> 
>>> _______________________________________________
>>> isabelle-dev mailing list
>>> isabelle-dev at in.tum.de
>>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>> 
>> ________________________________
>> 
>> The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>