[isabelle-dev] HOL-Quickcheck_Benchmark timeouts
makarius at sketis.net
Mon Nov 26 11:12:39 CET 2012
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.
More information about the isabelle-dev