ddcc added a comment. In https://reviews.llvm.org/D47617#1119257, @george.karpenkov wrote:
> LGTM with a nit on a test name. Same. In https://reviews.llvm.org/D47617#1119268, @NoQ wrote: > Also does this test need to be z3-specific? We would also not like to crash > here without z3. I had the same though originally about the `REQUIRES` line. Since this code path is very specific to Z3ConstraintManager, it didn't seem useful to run the test on normal buildbots. But I have no preference either way. Repository: rC Clang https://reviews.llvm.org/D47617 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits