[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)

[Thomas Sewell]

"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 at isabelle.systems><mailto:ci at isabelle.systems>
> Subject: [Isabelle-ci] Build failure in Isabelle (benchmark)
> Date: 12 March 2019 at 01:22:32 GMT
> To: isabelle-ci at mail46.informatik.tu-muenchen.de<mailto:isabelle-ci at 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-ci at mail46.informatik.tu-muenchen.de<mailto:Isabelle-ci at mail46.informatik.tu-muenchen.de>
> https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci

_______________________________________________
isabelle-dev mailing list
isabelle-dev at in.tum.de<mailto:isabelle-dev at in.tum.de>
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190312/baf153de/attachment-0002.html>