I noticed that the ROOT of AODV contains one big session for everything as well as separate sessions for the different variants.
In my current setup, this is a little bit unfortunate. When running
tests I usually do
build -a -d "${AFP}"
i.e. test distribution and AFP simultaneously, particularly to have the
voluminous sessions like JinjaThreads started as early as possible.
With the current setup, this effectively runs the AODV matter twice – or
at least attempts so, since the »everything«-session times out.
Maybe it would be better using ISABELLE_FULL_TEST rather than session
groups to separate the two kinds of AODV sessions. Any ideas or
suggestions?
Thanks a lot,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
