steakhal wrote:

> > You should probably drop the no-z3 logic and use UNSUPPORTED: z3 instead. 
> > Nice catch.
> 
> I will do this for `missing-z3-nocrash.c`. But together with removing the 
> `no-z3` feature in `clang/test/lit.cfg.py`?

Makes sense to do it separately, yes.

https://github.com/llvm/llvm-project/pull/183724
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to