[isabelle-dev] Duraraion of AFP session AODV

[Dmitriy Traytel]

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