In the past few weeks, we've had isatest problems with HOL-Quickcheck_Benchmark and ISABELLE_FULL_TEST=true (as used with mac-poly64-M4 and mac-poly64-M8).

After some experimentation and tinkering, it seems that the timeouts in Isabelle/978200ae8473 from last Friday work: we've had successful isatest runs over the weekend.

As far as I can see, the tests on macbroy2 terminate around 05:30 CET. This might be relavant for later tests of AFP.

isabelle-dev mailing list

Reply via email to