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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
