On Mon, 26 Aug 2024 21:36:45 +0200, A Tammy <[email protected]> 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
