[isabelle-dev] clang error

[Lawrence Paulson]

I can fix this one now that it works again

Larry
On 24 Jul 2024 at 22:30 +0100, Makarius <makarius at sketis.net>, wrote:

Now there is a new problem on that machine:

isabelle build -d '$AFP' -D thys/AutoCorres2/
Running AutoCorres2_Test ...
Warning - Unable to increase stack - interrupting thread
AutoCorres2_Test FAILED (see also "isabelle build_log -H Error
AutoCorres2_Test")
*** exception Interrupt_Breakdown raised
*** At command "by" (line 361 of
"$AFP/AutoCorres2/tests/examples/WordAbs.thy")
Unfinished session(s): AutoCorres2_Test
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240724/99c5e1a1/attachment-0001.htm>