[isabelle-dev] AODV

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sat Dec 6 16:18:33 CET 2014

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

Thanks a lot,


PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20141206/f2d9e125/attachment.asc>

More information about the isabelle-dev mailing list