From: Kirill A. Korinsky <kirill@korins.ky>
Subject: Re: [update] math/z3: update to 4.13.0
To: A Tammy <openbsd.ports@aisha.cc>
Cc: OpenBSD ports <ports@openbsd.org>
Date: Mon, 26 Aug 2024 22:21:24 +0200

On Mon, 26 Aug 2024 21:36:45 +0200,
A Tammy <openbsd.ports@aisha.cc> wrote:
> 
> 
> > After spending some time to dig into the issue which lead to crash, I had
> > discovered that such crash doesn't reproduced if I build z3 wihtout
> > optimization (-O0).
> 
> 
> This sounds like a bug worthy of telling upstream about.
> 
>

It was reported to upstream almost year ago [1] but it was closed without fix.

So, I have no better solution here.

Footnotes:
[1]  https://github.com/Z3Prover/z3/issues/6902

-- 
wbr, Kirill