ddcc added a subscriber: dcoughlin. ddcc added a comment. In https://reviews.llvm.org/D47726#1121395, @george.karpenkov wrote:
> - Do all tests for Z3 run when LLVM is configured to use Z3? I'm not sure if > that's the right thing: do all tests start to take 10x time to run once Z3 is > enabled? The test approach is what @dcoughlin suggested in https://reviews.llvm.org/D28952, where the tests are run using each constraint manager that is available. At that time, he measured an increase in test time from 25s to 90s (see https://reviews.llvm.org/D28952#686284). > - Is anyone interested in running a buildbot running those? @dcoughlin mentioned that he (Apple?) would set up a buildbot for this, but I don't know if that happened. Repository: rC Clang https://reviews.llvm.org/D47726 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
