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.

Cheers,

Jasmin





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