On 13/03/2019 21:06, Lars Hupel wrote:
>> "Unable to increase stack" is one of the various messages that tells
>> you that PolyML has run out of resources. It doesn't really tell you
>> what the problem is though. It might be an actual problem or a
>> temporary problem caused by a machine being
"Unable to increase stack" is one of the various messages that tells
you that PolyML has run out of resources. It doesn't really tell you
what the problem is though. It might be an actual problem or a
temporary problem caused by a machine being overloaded.
This is likely connected to the recent
"Unable to increase stack" is one of the various messages that tells you that
PolyML has run out of resources. It doesn't really tell you what the problem is
though. It might be an actual problem or a temporary problem caused by a
machine being overloaded.
Cheers,
Thomas.
On 2019-03-12
Does anybody know what this is?
01:58:19 Running HOL-Quickcheck_Benchmark ...01:58:20 HOL-Quickcheck_Benchmark:
theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Base01:58:20
HOL-Quickcheck_Benchmark: theory
HOL-Quickcheck_Benchmark.Find_Unused_Assms_Examples01:58:23
HOL-Quickcheck_Benchmark: