Re: [isabelle] z3 crashing, too (was Re: cvc4 crashing)

Dear Eugene,

> This is maybe unrelated to the cvc4 issue, since this crash is with SIGSEGV.

I believe this is completely unrelated. If you can reproduce this or future crashes reliably, please let us know and we'll inform the Z3 developers.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.