[PATCH] D47726: [Analyzer][Z3] Test fixes for Z3 constraint manager

Mon Jun 4 12:53:59 PDT 2018

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