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
No comments:
Post a Comment