steakhal wrote:

My take is that the z3-based solver is crashing all over the place. So its not 
just slower. We anyways don't have CI checks for it.
Given all these, I'd rather not put more burden to the issue tracker regarding 
this. I'd consider it if these issues wouldn't be present though, but we are 
really far from that.
cfe-commits mailing list

Reply via email to