steakhal wrote: > This enables executing all test cases with the `REQUIRES: z3` tag via the > `check-clang-analysis-z3` target.
I like the move, but I didn't get what you are saying here. Where is the logic adding the `check-clang-analysis-z3` target and how are the tests skipped under that directory if the `REQUIRES: z3` is not satisfied? https://github.com/llvm/llvm-project/pull/183724 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
