[isabelle-dev] sporadic failures of AFP tests

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Mon Dec 13 11:03:23 CET 2010

Am 13.12.2010 10:38, schrieb Tobias Nipkow:
> Are you referring to
> *** Failed to prepare dependency graph

I remember this also occured, but I am more concerned about the infamous
error 137 and similar.  Btw. we sometimes have the situation that during
testing somehow things on NFS seem to disappear, and this might explain
the error above.  Maybe its best to await the next AFP isatest report
and then classify the errors systematically.




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://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20101213/181e3ab4/attachment.sig>

More information about the isabelle-dev mailing list