[isabelle-dev] Timeouts in AFP

Lars Hupel hupel at in.tum.de
Sat Sep 10 10:19:00 CEST 2016

Dear Isabelle developers,

about yesterday, we experienced massive troubles in the automated AFP
tests due to missing timeouts paired with sessions which don't terminate
in current devel (after merging some new entries from AFP stable).

I have added missing timeouts now in AFP/b60fb73dca31.

There is also an Isabelle tool to check for precisely this problem:

I urge everyone who changes ROOT files in AFP devel to run "isabelle
afp_check_roots" before pushing such changes. That way, we can avoid
jobs getting terminated by Jenkins.


More information about the isabelle-dev mailing list