"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 12:14, Lawrence Paulson wrote:
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: theory
HOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Example01:58:24
HOL-Quickcheck_Benchmark: theory
HOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Example01:58:24
HOL-Quickcheck_Benchmark: theory
HOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Example02:12:01
Warning - Unable to increase stack - interrupting thread02:12:01 ***
Interrupt02:12:01 HOL-Quickcheck_Benchmark FAILED
Larry
> Begin forwarded message:
>
> From: Isabelle/Jenkins <ci@isabelle.systems><mailto:ci@isabelle.systems>
> Subject: [Isabelle-ci] Build failure in Isabelle (benchmark)
> Date: 12 March 2019 at 01:22:32 GMT
> To:
> isabelle...@mail46.informatik.tu-muenchen.de<mailto:isabelle...@mail46.informatik.tu-muenchen.de>
>
> The Isabelle build failed. See the log at:
> https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/887/
> _______________________________________________
> Isabelle-ci mailing list
> isabelle...@mail46.informatik.tu-muenchen.de<mailto:isabelle...@mail46.informatik.tu-muenchen.de>
> https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de<mailto:isabelle-...@in.tum.de>
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
