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.haftm...@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-...@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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
