[isabelle-dev] sporadic failures of AFP tests

[Florian Haftmann]

I just spent some time restoring two broken AFP sessions (see
http://www4.in.tum.de/~haftmann/cgi-bin/testboard.cgi/AFP/report/d96154a03b5c6414a7a0e3309e948260,
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?

	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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>