[isabelle-dev] sporadic failures of AFP tests

Tobias Nipkow nipkow at in.tum.de
Mon Dec 13 10:38:49 CET 2010

Are you referring to

*** Failed to prepare dependency graph

This is the response if some file was not created. Which indicates that
something might be amiss on the system level. This error first occured a
few months ago. After a week or two it went away. Now it is back. I
don't believe that the sysadmins keep changing to latex environment back
and forth, but I don't know what it is.


Florian Haftmann schrieb:
> 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
> ------------------------------------------------------------------------
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list