steakhal wrote: > With the next patch > [eacc3b3](https://github.com/llvm/llvm-project/commit/eacc3b3504be061f7334410dd0eb599688ba103a) > it fails on rlimit for me, but on this patch it's on timeout.
What do you suggest? Do you know a reliable minimal Z3 version which we should require? FYI I published [this](https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664) post about raising Z3 version requirement. https://github.com/llvm/llvm-project/pull/95128 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
