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