[isabelle-dev] Regain AFP sanity

Lukas Bulwahn bulwahn at in.tum.de
Thu Jan 12 08:58:39 CET 2012

On 01/11/2012 09:29 PM, Alexander Krauss wrote:
> The real problem is in fact JinjaThreads. AFAIK, the only machine at 
> TUM where it can still build (in principle) is lxbroy10, but as Lukas 
> pointed out there are still some failures, cf. 
> http://isabelle.in.tum.de/reports/Isabelle/report/628b2a4bd3f94f478b929b72f811c5af. 
> I hope that we can get further data on whether this is a repeatable 
> problem in the next days.
NB: JinjaThreads has been failing in the mira testing of the 
configuration AFP-big since the beginning of testing on lxbroy10. Up to 
now, we don't know which system configurations is actually causing this 
failure. But nobody has spent much time to investigate this sofar.


More information about the isabelle-dev mailing list