zombie proof processes

[Makarius]

On 17/11/2025 13:22, Makarius wrote:
> 
> This thread is still pending: I am presently busy elsewhere, but will revisit 
> it later.

> Some user of macOS 26 has reported privately, that the new arm64-darwin 
> executable does not make a difference, the problem persists.
> 
> To sort this out in time for the Isabelle2025-1 release, we first need a few 
> reproducible examples.
Same situation: I will busy for the next 2 days, and hope for someone else 
(Larry?) to come up with reproducible examples with too many veriT processes 
on macOS 26.


	Makarius