george.karpenkov added a comment. Impressive, really. So almost all tests still pass. However, a few questions should be resolved before we can merge:
- 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? Should we create a separate ninja target for those? - Is anyone interested in running a buildbot running those? 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