<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
"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.<br>
<br>
Cheers,<br>
Thomas.<br>
<br>
<div class="moz-cite-prefix">On 2019-03-12 12:14, Lawrence Paulson wrote:<br>
</div>
<blockquote type="cite">
<div class="BodyFragment"><font size="2"><span style="font-size:10pt">
<div class="PlainText">Does anybody know what this is?<br>
<br>
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<br>
<br>
Larry<br>
<br>
> Begin forwarded message:<br>
> <br>
> From: Isabelle/Jenkins <a class="moz-txt-link-rfc2396E" href="mailto:ci@isabelle.systems">
<ci@isabelle.systems></a><br>
> Subject: [Isabelle-ci] Build failure in Isabelle (benchmark)<br>
> Date: 12 March 2019 at 01:22:32 GMT<br>
> To: <a class="moz-txt-link-abbreviated" href="mailto:isabelle-ci@mail46.informatik.tu-muenchen.de">
isabelle-ci@mail46.informatik.tu-muenchen.de</a><br>
> <br>
> The Isabelle build failed. See the log at: <a href="https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/887/">
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/887/</a></div>
</span></font></div>
<div class="BodyFragment"><font size="2"><span style="font-size:10pt">
<div class="PlainText">> _______________________________________________<br>
> Isabelle-ci mailing list<br>
> <a class="moz-txt-link-abbreviated" href="mailto:Isabelle-ci@mail46.informatik.tu-muenchen.de">
Isabelle-ci@mail46.informatik.tu-muenchen.de</a><br>
> <a href="https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci">
https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci</a><br>
<br>
</div>
</span></font></div>
<div class="BodyFragment"><font size="2"><span style="font-size:10pt">
<div class="PlainText">_______________________________________________<br>
isabelle-dev mailing list<br>
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a><br>
<a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a><br>
</div>
</span></font></div>
</blockquote>
<br>
</div>
</body>
</html>