[PATCH] D30373: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin added a comment.

I'm not sure what is going on.

One thing to try is defining the class in clang/test/lit.cfg -- which seems to work for Swift. (See https://github.com/apple/swift/blob/master/test/lit.cfg#L137) We'd still want to only use that class in Analysis/lit.local.cfg.

Another possibility is to not support running with Z3 on Windows, at least for now. So in Analysis/lit.local.cfg we would only set the custom test_format if `(not sys.platform in ['win32'])` is true.


Repository:
  rL LLVM

https://reviews.llvm.org/D30373