[isabelle-dev] sporadic failures of AFP tests

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Mon Dec 13 09:50:17 CET 2010

I just spent some time restoring two broken AFP sessions (see
one of them due to my own fault).

What is my concern is the recent behaviour of the official AFP isatest:
it reports a lot of sporadic failures.  When settings up AFP tests on
the lxlabbroy12-14 machines here at TUM I encountered similar things,
then I decided to turn parallelism of (usedir -M 1 -q 0).  I thought
this was due to the restricted resources of the lxlabbroy12-14 machines,
but now I see similar things happen on the regular AFP isatest on
macbroy2.  Is there any plausible explanation for this at hand?




PGP available:

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

More information about the isabelle-dev mailing list