[isabelle-dev] Duraraion of AFP session AODV
gerwin.klein at nicta.com.au
Thu Nov 27 09:17:05 CET 2014
> 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).
> 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).
>>> 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…
>>> PGP available:
>>> isabelle-dev mailing list
>>> isabelle-dev at in.tum.de
>> 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
More information about the isabelle-dev