
<html xmlns="http://www.w3.org/1999/xhtml">


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<title></title>


</head>


<body>


<div name="messageBodySection">


<div dir="auto">I can fix this one now that it works again</div>


</div>


<div name="messageSignatureSection"><br>


<div class="matchFont">Larry</div>


</div>


<div name="messageReplySection">On 24 Jul 2024 at 22:30 +0100, Makarius <makarius@sketis.net>, wrote:<br>


<blockquote type="cite" style="border-left-color: grey; border-left-width: thin; border-left-style: solid; margin: 5px 5px;padding-left: 10px;">


<br>


<div>Now there is a new problem on that machine:<br>


<br>


isabelle build -d '$AFP' -D thys/AutoCorres2/<br>


Running AutoCorres2_Test ...<br>


Warning - Unable to increase stack - interrupting thread<br>


AutoCorres2_Test FAILED (see also "isabelle build_log -H Error<br>


AutoCorres2_Test")<br>


*** exception Interrupt_Breakdown raised<br>


*** At command "by" (line 361 of<br>


"$AFP/AutoCorres2/tests/examples/WordAbs.thy")<br>


Unfinished session(s): AutoCorres2_Test<br>


</div>


</blockquote>


</div>


</body>


</html>